Trace number 4246329

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)1058 2400.08 2326.74

General information on the benchmark

NameVrp/Vrp-zinc-s1/
Vrp-B-n45-k5.xml
MD5SUM4e8baeb7bdba194b7c2724961347fdb9
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark756
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.80/2.13	c Concrete v3.4 running
17.58/5.71	o 2417
17.95/5.89	o 2407
18.71/6.05	o 2402
19.14/6.19	o 2399
19.89/6.32	o 2395
20.27/6.43	o 2391
20.50/6.54	o 2375
20.72/6.64	o 2346
20.84/6.74	o 2286
21.13/6.85	o 2240
21.46/6.96	o 2238
21.79/7.07	o 2225
22.16/7.16	o 2181
22.36/7.24	o 2180
22.46/7.33	o 2176
22.57/7.40	o 2117
22.67/7.59	o 2112
22.78/7.69	o 2105
23.16/7.92	o 2095
23.26/8.01	o 2089
23.26/8.10	o 2035
23.36/8.18	o 1986
23.47/8.27	o 1981
23.57/8.36	o 1976
23.68/8.46	o 1940
23.98/8.66	o 1914
24.09/8.75	o 1902
24.51/9.10	o 1896
24.61/9.21	o 1870
24.73/9.31	o 1869
24.83/9.41	o 1862
24.94/9.50	o 1837
25.17/9.66	o 1803
25.26/9.78	o 1789
25.36/9.88	o 1784
25.47/9.99	o 1780
25.57/10.10	o 1772
25.78/10.20	o 1771
25.88/10.31	o 1709
26.08/10.51	o 1700
26.18/10.61	o 1649
26.52/10.86	o 1616
26.75/11.08	o 1583
26.85/11.19	o 1538
26.94/11.28	o 1534
27.04/11.37	o 1527
27.14/11.47	o 1518
27.36/11.69	o 1515
27.55/11.78	o 1502
27.81/11.99	o 1475
28.03/12.10	o 1465
28.48/12.46	o 1450
29.87/13.57	o 1446
30.00/13.67	o 1407
30.11/13.76	o 1406
30.32/13.96	o 1390
30.95/14.41	o 1389
31.14/14.62	o 1388
31.36/14.84	o 1382
31.56/15.07	o 1381
31.68/15.17	o 1379
34.22/17.42	o 1372
34.94/18.19	o 1368
35.43/18.53	o 1342
35.65/18.77	o 1340
36.46/19.55	o 1333
36.68/19.78	o 1326
36.92/19.91	o 1306
37.68/20.62	o 1302
60.28/41.41	o 1297
61.00/42.18	o 1276
87.48/67.46	o 1248
88.79/68.76	o 1237
88.99/68.97	o 1235
90.01/69.96	o 1234
97.98/77.58	o 1229
99.29/78.87	o 1171
104.09/83.47	o 1166
109.90/89.04	o 1162
110.31/89.43	o 1160
111.62/90.77	o 1159
115.38/94.35	o 1149
116.70/95.62	o 1144
126.21/104.83	o 1133
126.41/105.10	o 1130
127.04/105.67	o 1107
129.07/107.53	o 1106
131.29/109.71	o 1105
131.40/109.84	o 1092
194.20/170.67	o 1090
197.61/173.96	o 1074
218.82/194.14	o 1073
219.39/194.64	o 1072
220.20/195.45	o 1071
220.41/195.68	o 1070
271.89/244.72	o 1068
328.47/298.27	o 1066
328.86/298.66	o 1065
352.71/320.40	o 1064
353.43/321.15	o 1063
730.79/679.48	o 1060
753.67/700.47	o 1059
1492.94/1423.65	o 1058
2400.03/2326.70	java.util.concurrent.TimeoutException
2400.03/2326.70		at concrete.MAC.mac(MAC.scala:74)
2400.03/2326.70		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.03/2326.70		at scala.util.Try$.apply(Try.scala:209)
2400.03/2326.70		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.03/2326.70		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.03/2326.70		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.03/2326.70		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.03/2326.70		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.03/2326.70		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.03/2326.70		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.03/2326.70		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.03/2326.70		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.03/2326.70		at concrete.MAC.oneRun(MAC.scala:146)
2400.03/2326.70		at concrete.MAC.nextSolution(MAC.scala:166)
2400.03/2326.70		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.03/2326.70		at concrete.ProblemState.map(ProblemState.scala:203)
2400.03/2326.70		at concrete.ProblemState.map(ProblemState.scala:188)
2400.03/2326.70		at concrete.MAC.nextSolution(MAC.scala:195)
2400.03/2326.70		at concrete.Solver.hasNext(Solver.scala:202)
2400.03/2326.70		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.03/2326.70		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.03/2326.71		at concrete.Solver.toStream(Solver.scala:73)
2400.03/2326.71		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.03/2326.71		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.03/2326.71		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.03/2326.71		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.03/2326.71		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.03/2326.71		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.03/2326.71		at scala.util.Success.map(Try.scala:209)
2400.03/2326.71		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.03/2326.71		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.03/2326.71		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.03/2326.71		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.03/2326.71		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.03/2326.71		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.03/2326.71		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.03/2326.71		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.03/2326.71		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.03/2326.71		at scala.collection.immutable.List.foreach(List.scala:389)
2400.03/2326.71		at scala.App.main(App.scala:76)
2400.03/2326.71		at scala.App.main$(App.scala:74)
2400.03/2326.71		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.03/2326.71		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.03/2326.71	v <instantiation cost="1058">
2400.03/2326.71	v       <list>
2400.03/2326.71	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.03/2326.71	v       </list>
2400.03/2326.71	v       <values>
2400.03/2326.71	v         0 1 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 0 0 0 0 0 0 0 0 0 0 0 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 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 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 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 4 100 98 49 93 28 19 90 29 22 20 30 73 56 75 72 86 21 57 100 85 18 37 85 34 61 19 100 69 100 78 17 41 34 71 50 100 79 73 17 11 8 100 69
2400.03/2326.71	v       </values>
2400.03/2326.71	v     </instantiation>
2400.03/2326.71	s SATISFIABLE

Verifier Data 

OK	1058

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-4246329-1500713437/watcher-4246329-1500713437 -o /tmp/evaluation-result-4246329-1500713437/solver-4246329-1500713437 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node133-1500696963-25081 --watchdog 2560 bin/concrete HOME/instance-4246329-1500713437.xml 

pid=28967
running on 8 cores: 1,3,5,7,9,11,13,15

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


[startup+0 s]
/proc/loadavg: 1.50 1.50 1.45 3/264 28970
/proc/meminfo: memFree=30798196/32770624 swapFree=5884/333944
[pid=28970] ppid=28967 vsize=9508 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (bash) S 28967 28970 16913 0 -1 4202496 685 1534 0 0 0 0 0 0 20 0 1 0 6610671 9736192 350 33554432000 4194304 5098028 140736455626160 140736455623800 140173845785600 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 31260672 140736455632142 140736455632227 140736455632227 140736455634926 0
/proc/28970/statm: 2377 350 277 221 0 86 0

[startup+0.1001 s]
/proc/loadavg: 1.50 1.50 1.45 3/264 28970
/proc/meminfo: memFree=30798196/32770624 swapFree=5884/333944
[pid=28970] ppid=28967 vsize=9640 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (bash) S 28967 28970 16913 0 -1 4202496 879 6420 0 0 0 0 0 1 20 0 1 0 6610671 9871360 378 33554432000 4194304 5098028 140736455626160 140736455620168 140173845785600 0 0 4100 65536 18446744071580971376 0 0 17 7 0 0 0 0 0 7196144 7232144 31260672 140736455632142 140736455632227 140736455632227 140736455634926 0
/proc/28970/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200442 s]
/proc/loadavg: 1.50 1.50 1.45 3/264 28970
/proc/meminfo: memFree=30798196/32770624 swapFree=5884/333944
[pid=28970] ppid=28967 vsize=10435860 CPUtime=0.18 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 4938 12431 0 0 6 1 8 3 20 0 13 0 6610671 10686320640 5298 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800971 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2608965 5298 2172 1 0 2597403 0
Current children cumulated CPU time (s) 0.18
Current children cumulated vsize (KiB) 10435860

[startup+0.300371 s]
/proc/loadavg: 1.50 1.50 1.45 3/264 28970
/proc/meminfo: memFree=30798196/32770624 swapFree=5884/333944
[pid=28970] ppid=28967 vsize=10903384 CPUtime=0.37 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 8263 12431 0 0 23 3 8 3 20 0 20 0 6610671 11165065216 9996 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2725846 9996 2993 1 0 2714138 0
Current children cumulated CPU time (s) 0.37
Current children cumulated vsize (KiB) 10903384

[startup+0.700227 s]
/proc/loadavg: 1.50 1.50 1.45 3/264 28970
/proc/meminfo: memFree=30798196/32770624 swapFree=5884/333944
[pid=28970] ppid=28967 vsize=10902720 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 12856 12431 0 0 81 5 8 3 20 0 20 0 6610671 11164385280 16095 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2725680 16095 3217 1 0 2713890 0
Current children cumulated CPU time (s) 0.97
Current children cumulated vsize (KiB) 10902720

[startup+1.50081 s]
/proc/loadavg: 1.50 1.50 1.45 3/284 29043
/proc/meminfo: memFree=30691804/32770624 swapFree=5884/333928
[pid=28970] ppid=28967 vsize=10913344 CPUtime=2.29 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 26306 12431 0 0 205 13 8 3 20 0 20 0 6610671 11175264256 44256 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2728336 44256 3409 1 0 2716450 0
[pid=28970/tid=29025] ppid=28967 vsize=10913344 CPUtime=1.43 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 19497 12431 0 0 125 7 8 3 20 0 20 0 6610683 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826783136840 139826778918294 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 141 12431 0 0 0 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 33 12431 0 0 0 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 20 12431 0 0 0 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 39 12431 0 0 1 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 18 12431 0 0 1 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 48 12431 0 0 1 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 14 12431 0 0 1 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 11 12431 0 0 0 0 8 3 20 0 20 0 6610684 11175264256 44256 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10913344 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 729 12431 0 0 1 0 8 3 20 0 20 0 6610686 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 56 12431 0 0 0 0 8 3 20 0 20 0 6610687 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 43 12431 0 0 0 0 8 3 20 0 20 0 6610687 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10913344 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) S 28967 28970 16913 0 -1 1077944384 1171 12431 0 0 18 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825980917872 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10913344 CPUtime=0.26 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) S 28967 28970 16913 0 -1 1077944384 586 12431 0 0 15 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825979865072 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10913344 CPUtime=0.2 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) S 28967 28970 16913 0 -1 1077944384 428 12431 0 0 9 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825978812784 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10913344 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 1333 12431 0 0 27 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10913344 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 6 12431 0 0 0 0 8 3 20 0 20 0 6610692 11175264256 44256 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 2.29
Current children cumulated vsize (KiB) 10913344

[startup+3.10077 s]
/proc/loadavg: 1.38 1.48 1.44 5/284 29043
/proc/meminfo: memFree=30618908/32770624 swapFree=5884/333928
[pid=28970] ppid=28967 vsize=10925820 CPUtime=7.44 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 41338 12431 0 0 713 20 8 3 20 0 20 0 6610671 11188039680 60236 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2731455 60236 3479 1 0 2719010 0
[pid=28970/tid=29025] ppid=28967 vsize=10925820 CPUtime=3.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 26688 12431 0 0 281 9 8 3 20 0 20 0 6610683 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826783129488 139826778918294 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 141 12431 0 0 0 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 33 12431 0 0 0 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 20 12431 0 0 0 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 39 12431 0 0 1 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 18 12431 0 0 1 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 48 12431 0 0 1 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10925820 CPUtime=0.12 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 14 12431 0 0 1 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 11 12431 0 0 0 0 8 3 20 0 20 0 6610684 11188039680 60236 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10925820 CPUtime=0.13 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 747 12431 0 0 2 0 8 3 20 0 20 0 6610686 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 56 12431 0 0 0 0 8 3 20 0 20 0 6610687 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 43 12431 0 0 0 0 8 3 20 0 20 0 6610687 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10925820 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) R 28967 28970 16913 0 -1 4202560 4207 12431 0 0 115 1 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825980896112 139826763818719 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10925820 CPUtime=1.09 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) R 28967 28970 16913 0 -1 4202560 1768 12431 0 0 97 1 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825979850512 139826764275462 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10925820 CPUtime=1.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) R 28967 28970 16913 0 -1 4202560 1825 12431 0 0 89 1 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825978799328 139826758153116 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10925820 CPUtime=1.29 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) R 28967 28970 16913 0 -1 4202560 3541 12431 0 0 118 0 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825977759984 139826757490530 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10925820 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 7 12431 0 0 0 0 8 3 20 0 20 0 6610692 11188039680 60236 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 7.44
Current children cumulated vsize (KiB) 10925820

[startup+6.30121 s]
/proc/loadavg: 1.38 1.48 1.44 4/284 29043
/proc/meminfo: memFree=30419832/32770624 swapFree=5884/333936
[pid=28970] ppid=28967 vsize=10997500 CPUtime=19.89 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 75121 12431 0 0 1938 40 8 3 20 0 20 0 6610671 11261440000 97287 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2749375 97287 3503 1 0 2736930 0
[pid=28970/tid=29025] ppid=28967 vsize=10997500 CPUtime=5.75 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 41564 12431 0 0 550 14 8 3 20 0 20 0 6610683 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826783137640 139826778918294 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10997500 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 179 12431 0 0 29 2 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10997500 CPUtime=0.33 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 58 12431 0 0 21 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10997500 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 103 12431 0 0 29 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10997500 CPUtime=0.38 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 80 12431 0 0 26 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10997500 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 60 12431 0 0 28 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10997500 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 88 12431 0 0 30 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10997500 CPUtime=0.35 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 51 12431 0 0 23 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10997500 CPUtime=0.41 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 62 12431 0 0 29 1 8 3 20 0 20 0 6610684 11261440000 97287 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10997500 CPUtime=0.27 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 1790 12431 0 0 16 0 8 3 20 0 20 0 6610686 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 57 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 44 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10997500 CPUtime=3.18 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) R 28967 28970 16913 0 -1 4202560 7606 12431 0 0 305 2 8 3 20 0 20 0 6610692 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825980898624 139826778920268 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10997500 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) R 28967 28970 16913 0 -1 4202560 5060 12431 0 0 285 3 8 3 20 0 20 0 6610692 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825979854992 139826778927706 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10997500 CPUtime=3.37 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) R 28967 28970 16913 0 -1 4202560 9149 12431 0 0 323 3 8 3 20 0 20 0 6610692 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825978798544 139826778927706 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10997500 CPUtime=2.51 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 7026 12431 0 0 238 2 8 3 20 0 20 0 6610692 11261440000 97287 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15

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

[pid=28970/tid=29039] ppid=28967 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) S 28967 28970 16913 0 -1 1077944384 29421 12431 0 0 683 7 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825979865072 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10997500 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) S 28967 28970 16913 0 -1 1077944384 25751 12431 0 0 707 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825978812784 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10997500 CPUtime=4.39 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 41395 12431 0 0 420 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10997500 CPUtime=1.18 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 1286 12431 0 0 51 56 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 2335.46
Current children cumulated vsize (KiB) 10997500

[startup+2322.3 s]
/proc/loadavg: 1.74 1.68 1.62 3/284 29272
/proc/meminfo: memFree=27761016/32770624 swapFree=5884/336464
[pid=28970] ppid=28967 vsize=10997500 CPUtime=2395.6 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 674106 12431 0 0 238054 1495 8 3 20 0 20 0 6610671 11261440000 824585 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2749375 824585 3526 1 0 2736930 0
[pid=28970/tid=29025] ppid=28967 vsize=10997500 CPUtime=2310.85 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 463820 12431 0 0 230978 96 8 3 20 0 20 0 6610683 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826783140400 139826389442858 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10997500 CPUtime=7.2 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 8009 12431 0 0 540 169 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10997500 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 5465 12431 0 0 531 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10997500 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 7378 12431 0 0 539 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10997500 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 4875 12431 0 0 538 165 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10997500 CPUtime=7.19 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 7965 12431 0 0 541 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10997500 CPUtime=7.03 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 7485 12431 0 0 531 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10997500 CPUtime=7.13 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 9415 12431 0 0 535 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10997500 CPUtime=7.16 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 11198 12431 0 0 544 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 20005 12431 0 0 172 26 8 3 20 0 20 0 6610686 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 93 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 50 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) S 28967 28970 16913 0 -1 1077944384 28337 12431 0 0 685 6 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825980917872 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) S 28967 28970 16913 0 -1 1077944384 29423 12431 0 0 683 7 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825979865072 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10997500 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) S 28967 28970 16913 0 -1 1077944384 25753 12431 0 0 707 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825978812784 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10997500 CPUtime=4.39 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 41397 12431 0 0 420 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10997500 CPUtime=1.21 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 1305 12431 0 0 53 57 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 2395.6
Current children cumulated vsize (KiB) 10997500



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2326.7 s]
/proc/loadavg: 1.74 1.68 1.62 3/284 29272
/proc/meminfo: memFree=27761396/32770624 swapFree=5884/336464
[pid=28970] ppid=28967 vsize=10997500 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 675271 12431 0 0 238496 1496 8 3 20 0 20 0 6610671 11261440000 824585 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2749375 824585 3526 1 0 2736930 0
[pid=28970/tid=29025] ppid=28967 vsize=10997500 CPUtime=2315.24 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 464377 12431 0 0 231417 96 8 3 20 0 20 0 6610683 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826783140512 139826371275054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10997500 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 8019 12431 0 0 541 169 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10997500 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 5469 12431 0 0 531 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10997500 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 7596 12431 0 0 539 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10997500 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 4893 12431 0 0 538 165 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10997500 CPUtime=7.2 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 7969 12431 0 0 542 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10997500 CPUtime=7.03 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 7555 12431 0 0 531 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10997500 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 9493 12431 0 0 536 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10997500 CPUtime=7.17 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 11205 12431 0 0 545 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 20186 12431 0 0 172 26 8 3 20 0 20 0 6610686 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 93 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 50 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) S 28967 28970 16913 0 -1 1077944384 28339 12431 0 0 685 6 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825980917872 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) S 28967 28970 16913 0 -1 1077944384 29425 12431 0 0 683 7 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825979865072 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10997500 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) S 28967 28970 16913 0 -1 1077944384 25755 12431 0 0 707 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825978812784 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10997500 CPUtime=4.39 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 41399 12431 0 0 420 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10997500 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 1315 12431 0 0 53 58 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 2400.03
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 28970 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2326.7 s]
/proc/loadavg: 1.74 1.68 1.62 3/284 29272
/proc/meminfo: memFree=27761396/32770624 swapFree=5884/336464
[pid=28970] ppid=28967 vsize=10997500 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/28970/stat : 28970 (java) S 28967 28970 16913 0 -1 1077944320 675271 12431 0 0 238496 1496 8 3 20 0 20 0 6610671 11261440000 824585 33554432000 4194304 4196468 140724570805968 140724570788512 139826778906359 0 0 0 16800975 18446744073709551615 0 0 17 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
/proc/28970/statm: 2749375 824585 3526 1 0 2736930 0
[pid=28970/tid=29025] ppid=28967 vsize=10997500 CPUtime=2315.24 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29025/stat : 29025 (java) R 28967 28970 16913 0 -1 4202560 464377 12431 0 0 231417 96 8 3 20 0 20 0 6610683 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826783140512 139826371275054 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29026] ppid=28967 vsize=10997500 CPUtime=7.21 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29026/stat : 29026 (java) S 28967 28970 16913 0 -1 1077944384 8019 12431 0 0 541 169 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826704980880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29027] ppid=28967 vsize=10997500 CPUtime=7.1 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29027/stat : 29027 (java) S 28967 28970 16913 0 -1 1077944384 5469 12431 0 0 531 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826703928080 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29028] ppid=28967 vsize=10997500 CPUtime=7.18 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29028/stat : 29028 (java) S 28967 28970 16913 0 -1 1077944384 7596 12431 0 0 539 168 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826702875792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29029] ppid=28967 vsize=10997500 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29029/stat : 29029 (java) S 28967 28970 16913 0 -1 1077944384 4893 12431 0 0 538 165 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826701822992 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29030] ppid=28967 vsize=10997500 CPUtime=7.2 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29030/stat : 29030 (java) S 28967 28970 16913 0 -1 1077944384 7969 12431 0 0 542 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826700769680 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29031] ppid=28967 vsize=10997500 CPUtime=7.03 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29031/stat : 29031 (java) S 28967 28970 16913 0 -1 1077944384 7555 12431 0 0 531 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826699716880 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29032] ppid=28967 vsize=10997500 CPUtime=7.14 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29032/stat : 29032 (java) S 28967 28970 16913 0 -1 1077944384 9493 12431 0 0 536 167 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826698664592 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29033] ppid=28967 vsize=10997500 CPUtime=7.17 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29033/stat : 29033 (java) S 28967 28970 16913 0 -1 1077944384 11205 12431 0 0 545 161 8 3 20 0 20 0 6610684 11261440000 824585 33554432000 4194304 4196468 140724570805968 139826697611792 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29034] ppid=28967 vsize=10997500 CPUtime=2.09 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29034/stat : 29034 (java) S 28967 28970 16913 0 -1 1077944384 20186 12431 0 0 172 26 8 3 20 0 20 0 6610686 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825985129072 139826778917506 0 0 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29035] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29035/stat : 29035 (java) S 28967 28970 16913 0 -1 1077944384 93 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825984075104 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29036] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29036/stat : 29036 (java) S 28967 28970 16913 0 -1 1077944384 50 12431 0 0 0 0 8 3 20 0 20 0 6610687 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825983022720 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29037] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29037/stat : 29037 (java) S 28967 28970 16913 0 -1 1077944384 1 12431 0 0 0 0 8 3 20 0 20 0 6610691 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825981971024 139826778924955 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29038] ppid=28967 vsize=10997500 CPUtime=7.02 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29038/stat : 29038 (java) S 28967 28970 16913 0 -1 1077944384 28339 12431 0 0 685 6 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825980917872 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29039] ppid=28967 vsize=10997500 CPUtime=7.01 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29039/stat : 29039 (java) S 28967 28970 16913 0 -1 1077944384 29425 12431 0 0 683 7 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825979865072 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29040] ppid=28967 vsize=10997500 CPUtime=7.26 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29040/stat : 29040 (java) S 28967 28970 16913 0 -1 1077944384 25755 12431 0 0 707 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825978812784 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29041] ppid=28967 vsize=10997500 CPUtime=4.39 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29041/stat : 29041 (java) S 28967 28970 16913 0 -1 1077944384 41399 12431 0 0 420 8 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825977759984 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29042] ppid=28967 vsize=10997500 CPUtime=0.11 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29042/stat : 29042 (java) S 28967 28970 16913 0 -1 1077944384 3 12431 0 0 0 0 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825976707936 139826778916565 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
[pid=28970/tid=29043] ppid=28967 vsize=10997500 CPUtime=1.22 cores=1,3,5,7,9,11,13,15
/proc/28970/task/29043/stat : 29043 (java) S 28967 28970 16913 0 -1 1077944384 1315 12431 0 0 53 58 8 3 20 0 20 0 6610692 11261440000 824585 33554432000 4194304 4196468 140724570805968 139825975655216 139826778917506 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 29958144 140724570806977 140724570809751 140724570809751 140724570812367 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 10997500

Child status: 143
Real time (s): 2326.74
CPU time (s): 2400.08
CPU user time (s): 2385.06
CPU system time (s): 15.0211
CPU usage (%): 103.152
Max. virtual memory (cumulated for all children) (KiB): 10999692

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2385.06
system time used= 15.0211
maximum resident set size= 3299364
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 689273
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2824
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 122395
involuntary context switches= 137150

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 14.44 second user time and 19.1301 second system time

The end

Launcher Data 

Begin job on node133 at 2017-07-22 10:50:37
IDJOB=4246329
IDBENCH=124419
IDSOLVER=2630
FILE ID=node133/4246329-1500713437
RUNJOBID= node133-1500696963-25081
PBS_JOBID= 20623321
Free space on /tmp= 61992 MiB

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

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

MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9
RANDOM SEED=288352123

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30798072 kB
MemAvailable:   31103700 kB
Buffers:          135180 kB
Cached:           449124 kB
SwapCached:            0 kB
Active:          1186148 kB
Inactive:         342724 kB
Active(anon):     947332 kB
Inactive(anon):     8772 kB
Active(file):     238816 kB
Inactive(file):   333952 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24408 kB
Writeback:            12 kB
AnonPages:        950112 kB
Mapped:            44264 kB
Shmem:              8872 kB
Slab:             131660 kB
SReclaimable:      97388 kB
SUnreclaim:        34272 kB
KernelStack:        4896 kB
PageTables:         7540 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1647380 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    856064 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 61968 MiB
End job on node133 at 2017-07-22 11:29:24