Trace number 4262215

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
Concrete 3.4SAT (TO)1058 2520.1699 2474.55

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.39/2.23	c Concrete v3.4 running
14.65/5.81	o 2417
15.30/6.00	o 2407
15.61/6.16	o 2402
16.19/6.30	o 2399
16.49/6.43	o 2395
16.77/6.55	o 2391
17.08/6.67	o 2375
17.37/6.76	o 2346
17.61/6.86	o 2286
17.81/6.97	o 2240
18.25/7.10	o 2238
18.55/7.21	o 2225
18.85/7.30	o 2181
18.85/7.39	o 2180
19.15/7.49	o 2176
19.42/7.57	o 2117
19.76/7.75	o 2112
19.86/7.84	o 2105
20.08/8.03	o 2095
20.18/8.12	o 2089
20.31/8.21	o 2035
20.31/8.29	o 1986
20.42/8.38	o 1981
20.52/8.47	o 1976
20.62/8.56	o 1940
20.90/8.76	o 1914
21.00/8.86	o 1902
21.33/9.17	o 1896
21.43/9.28	o 1870
21.53/9.37	o 1869
21.63/9.47	o 1862
21.73/9.55	o 1837
21.84/9.68	o 1803
21.96/9.79	o 1789
22.09/9.88	o 1784
22.19/9.99	o 1780
22.39/10.10	o 1772
22.49/10.20	o 1771
22.59/10.31	o 1709
22.82/10.51	o 1700
22.92/10.62	o 1649
23.12/10.84	o 1616
23.35/11.07	o 1583
23.45/11.18	o 1538
23.57/11.27	o 1534
23.67/11.36	o 1527
23.78/11.46	o 1518
23.98/11.68	o 1515
24.11/11.77	o 1502
24.38/11.99	o 1475
24.49/12.10	o 1465
24.93/12.45	o 1450
26.12/13.59	o 1446
26.25/13.68	o 1407
26.35/13.77	o 1406
26.56/13.97	o 1390
27.14/14.42	o 1389
27.35/14.64	o 1388
27.58/14.86	o 1382
27.89/15.10	o 1381
27.99/15.20	o 1379
30.37/17.47	o 1372
31.24/18.25	o 1368
31.54/18.59	o 1342
31.87/18.84	o 1340
32.69/19.62	o 1333
32.90/19.85	o 1326
33.00/19.97	o 1306
33.77/20.67	o 1302
56.80/42.69	o 1297
57.62/43.46	o 1276
85.04/70.29	o 1248
86.49/71.63	o 1237
86.70/71.85	o 1235
87.72/72.86	o 1234
95.84/80.83	o 1229
97.17/82.18	o 1171
102.06/86.98	o 1166
107.99/92.78	o 1162
108.39/93.17	o 1160
109.81/94.55	o 1159
113.57/98.25	o 1149
114.90/99.56	o 1144
124.79/109.22	o 1133
125.00/109.49	o 1130
125.64/110.06	o 1107
127.55/111.96	o 1106
129.91/114.21	o 1105
130.01/114.35	o 1092
195.69/178.36	o 1090
199.19/181.77	o 1074
220.92/202.85	o 1073
221.43/203.34	o 1072
222.26/204.18	o 1071
222.57/204.41	o 1070
275.43/255.62	o 1068
333.71/311.80	o 1066
334.13/312.20	o 1065
357.76/334.97	o 1064
358.58/335.70	o 1063
741.12/705.92	o 1060
763.49/727.38	o 1059
1507.39/1463.94	o 1058
2520.09/2474.50	java.util.concurrent.TimeoutException
2520.09/2474.50		at concrete.MAC.mac(MAC.scala:74)
2520.09/2474.50		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.09/2474.50		at scala.util.Try$.apply(Try.scala:209)
2520.09/2474.50		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.09/2474.50		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.09/2474.50		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.09/2474.50		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.09/2474.50		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.09/2474.51		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.09/2474.51		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.09/2474.51		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.09/2474.51		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.09/2474.51		at concrete.MAC.oneRun(MAC.scala:146)
2520.09/2474.51		at concrete.MAC.nextSolution(MAC.scala:166)
2520.09/2474.51		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.09/2474.51		at concrete.ProblemState.map(ProblemState.scala:203)
2520.09/2474.51		at concrete.ProblemState.map(ProblemState.scala:188)
2520.09/2474.51		at concrete.MAC.nextSolution(MAC.scala:195)
2520.09/2474.51		at concrete.Solver.hasNext(Solver.scala:202)
2520.09/2474.51		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.09/2474.51		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.09/2474.51		at concrete.Solver.toStream(Solver.scala:73)
2520.09/2474.51		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.09/2474.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.09/2474.51		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.09/2474.51		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.09/2474.51		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.09/2474.51		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.09/2474.51		at scala.util.Success.map(Try.scala:209)
2520.09/2474.51		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.09/2474.51		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.09/2474.51		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.09/2474.51		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.09/2474.51		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.09/2474.51		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.09/2474.51		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.09/2474.51		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.09/2474.51		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.09/2474.51		at scala.collection.immutable.List.foreach(List.scala:389)
2520.09/2474.51		at scala.App.main(App.scala:76)
2520.09/2474.51		at scala.App.main$(App.scala:74)
2520.09/2474.51		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.09/2474.51		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.09/2474.51	v <instantiation cost="1058">
2520.09/2474.51	v       <list>
2520.09/2474.51	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]
2520.09/2474.51	v       </list>
2520.09/2474.51	v       <values>
2520.09/2474.51	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
2520.09/2474.51	v       </values>
2520.09/2474.51	v     </instantiation>
2520.09/2474.51	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-4262215-1502438198/watcher-4262215-1502438198 -o /tmp/evaluation-result-4262215-1502438198/solver-4262215-1502438198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580 bin/concrete HOME/instance-4262215-1502438198.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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.29 1.36 1.40 3/197 8754
/proc/meminfo: memFree=30319428/32770624 swapFree=0/566196
[pid=8754] ppid=8751 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/8754/stat : 8754 (runsolver) D 8751 8754 1460 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 91326128 24240128 106 18446744073709551615 4194304 4338465 140735364065856 140735364063496 140600435401431 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 35311616 140735364067537 140735364067913 140735364067913 140735364071370 0
/proc/8754/statm: 5918 106 53 36 0 2156 0

[startup+0.10006 s]
/proc/loadavg: 1.29 1.36 1.40 3/197 8754
/proc/meminfo: memFree=30319428/32770624 swapFree=0/566196
[pid=8754] ppid=8751 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/8754/stat : 8754 (bash) S 8751 8754 1460 0 -1 4202496 683 1545 0 0 0 0 0 0 20 0 1 0 91326128 9736192 351 18446744073709551615 4194304 5098028 140721726553856 140721726551496 139956015709184 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 16842752 140721726558740 140721726558825 140721726558825 140721726562282 0
/proc/8754/statm: 2377 351 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200215 s]
/proc/loadavg: 1.29 1.36 1.40 3/197 8754
/proc/meminfo: memFree=30319428/32770624 swapFree=0/566196
[pid=8754] ppid=8751 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/8754/stat : 8754 (bash) S 8751 8754 1460 0 -1 4202496 892 6489 0 0 0 0 0 1 20 0 1 0 91326128 9867264 377 18446744073709551615 4194304 5098028 140721726553856 140721726547864 139956015709184 0 0 5 65536 18446744071580971376 0 0 17 5 0 0 9 0 0 7196144 7232144 16842752 140721726558740 140721726558825 140721726558825 140721726562282 0
/proc/8754/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300322 s]
/proc/loadavg: 1.29 1.36 1.40 3/197 8754
/proc/meminfo: memFree=30319428/32770624 swapFree=0/566196
[pid=8754] ppid=8751 vsize=13907308 CPUtime=0.13 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 5744 12772 0 0 5 1 4 3 20 0 14 0 91326128 14241083392 5419 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3476827 5419 2563 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.700261 s]
/proc/loadavg: 1.29 1.36 1.40 3/197 8754
/proc/meminfo: memFree=30319428/32770624 swapFree=0/566196
[pid=8754] ppid=8751 vsize=13974784 CPUtime=0.63 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 13737 12772 0 0 52 4 4 3 20 0 15 0 91326128 14310178816 14212 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3493696 14212 3134 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784

[startup+1.50353 s]
/proc/loadavg: 1.29 1.36 1.40 3/212 8817
/proc/meminfo: memFree=30226928/32770624 swapFree=0/566440
[pid=8754] ppid=8751 vsize=13985408 CPUtime=1.82 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 27625 12772 0 0 167 8 4 3 20 0 15 0 91326128 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3496352 33949 3342 1 0 3485525 0
[pid=8754/tid=8804] ppid=8751 vsize=13985408 CPUtime=1.28 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 22737 12772 0 0 115 6 4 3 20 0 15 0 91326150 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842996454832 139842992256157 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 1 12772 0 0 0 0 4 3 20 0 15 0 91326151 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 1 12772 0 0 0 0 4 3 20 0 15 0 91326151 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 1 12772 0 0 0 0 4 3 20 0 15 0 91326151 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 2 12772 0 0 0 0 4 3 20 0 15 0 91326151 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 5 12772 0 0 0 0 4 3 20 0 15 0 91326152 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 33 12772 0 0 0 0 4 3 20 0 15 0 91326153 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842536842016 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 21 12772 0 0 0 0 4 3 20 0 15 0 91326153 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842535789680 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) R 8751 8754 1460 0 -1 4202560 1083 12772 0 0 15 0 4 3 20 0 15 0 91326156 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842533685872 139842973758482 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=13985408 CPUtime=0.2 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) S 8751 8754 1460 0 -1 1077944384 592 12772 0 0 13 0 4 3 20 0 15 0 91326156 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=13985408 CPUtime=0.29 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) R 8751 8754 1460 0 -1 4202560 982 12772 0 0 22 0 4 3 20 0 15 0 91326156 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842976314718 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=13985408 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 10 12772 0 0 0 0 4 3 20 0 15 0 91326161 14321057792 33949 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 1.82
Current children cumulated vsize (KiB) 13985408

[startup+3.10416 s]
/proc/loadavg: 1.27 1.36 1.39 5/212 8817
/proc/meminfo: memFree=30148836/32770624 swapFree=0/566440
[pid=8754] ppid=8751 vsize=13995836 CPUtime=6.03 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 43546 12772 0 0 581 15 4 3 20 0 15 0 91326128 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3498959 57005 3446 1 0 3487573 0
[pid=8754/tid=8804] ppid=8751 vsize=13995836 CPUtime=2.84 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 28750 12772 0 0 269 8 4 3 20 0 15 0 91326150 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842996466096 139842618561214 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 215 12772 0 0 0 0 4 3 20 0 15 0 91326151 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 54 12772 0 0 1 0 4 3 20 0 15 0 91326151 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 46 12772 0 0 0 0 4 3 20 0 15 0 91326151 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 59 12772 0 0 1 0 4 3 20 0 15 0 91326151 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 1781 12772 0 0 1 0 4 3 20 0 15 0 91326152 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 55 12772 0 0 0 0 4 3 20 0 15 0 91326153 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842536842080 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 44 12772 0 0 0 0 4 3 20 0 15 0 91326153 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=13995836 CPUtime=1.16 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) R 8751 8754 1460 0 -1 4202560 4638 12772 0 0 108 1 4 3 20 0 15 0 91326156 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842533668720 139842977360592 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=13995836 CPUtime=0.99 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) R 8751 8754 1460 0 -1 4202560 1878 12772 0 0 91 1 4 3 20 0 15 0 91326156 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842971480079 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=13995836 CPUtime=1.12 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 3855 12772 0 0 105 0 4 3 20 0 15 0 91326156 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=13995836 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 13 12772 0 0 0 0 4 3 20 0 15 0 91326161 14331736064 57005 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 6.03
Current children cumulated vsize (KiB) 13995836

[startup+6.30073 s]
/proc/loadavg: 1.27 1.36 1.39 7/212 8817
/proc/meminfo: memFree=29951752/32770624 swapFree=0/566436
[pid=8754] ppid=8751 vsize=14069564 CPUtime=16.19 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 92233 12772 0 0 1588 24 4 3 20 0 15 0 91326128 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 95043 3479 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=5.56 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 43683 12772 0 0 539 10 4 3 20 0 15 0 91326150 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842996463008 139842626994036 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 303 12772 0 0 25 1 4 3 20 0 15 0 91326151 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=0.35 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 710 12772 0 0 27 1 4 3 20 0 15 0 91326151 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=0.32 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 572 12772 0 0 25 0 4 3 20 0 15 0 91326151 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=0.31 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 334 12772 0 0 23 1 4 3 20 0 15 0 91326151 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=0.22 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 16266 12772 0 0 14 1 4 3 20 0 15 0 91326152 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 61 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=14069564 CPUtime=4 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) R 8751 8754 1460 0 -1 4202560 15079 12772 0 0 391 2 4 3 20 0 15 0 91326156 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842533676064 139842992255578 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=14069564 CPUtime=3.43 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) R 8751 8754 1460 0 -1 4202560 5475 12772 0 0 334 2 4 3 20 0 15 0 91326156 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842532614608 139842975734614 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=14069564 CPUtime=2.14 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 7509 12772 0 0 205 2 4 3 20 0 15 0 91326156 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 36 12772 0 0 0 0 4 3 20 0 15 0 91326161 14407233536 95043 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 16.19
Current children cumulated vsize (KiB) 14069564

[startup+12.7007 s]
/proc/loadavg: 1.37 1.38 1.40 3/212 8817
/proc/meminfo: memFree=29744556/32770624 swapFree=0/566432
[pid=8754] ppid=8751 vsize=14069564 CPUtime=25.26 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 96104 12772 0 0 2480 39 4 3 20 0 15 0 91326128 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 159632 3484 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=11.89 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 44348 12772 0 0 1169 13 4 3 20 0 15 0 91326150 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842996464648 139842628064716 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=0.38 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 368 12772 0 0 28 3 4 3 20 0 15 0 91326151 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=0.41 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 763 12772 0 0 31 3 4 3 20 0 15 0 91326151 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 1452 12772 0 0 27 3 4 3 20 0 15 0 91326151 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=0.36 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 415 12772 0 0 26 3 4 3 20 0 15 0 91326151 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 16435 12772 0 0 14 2 4 3 20 0 15 0 91326152 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 61 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 159632 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0

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

/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=1.27 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 1634 12772 0 0 56 64 4 3 20 0 15 0 91326161 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 2367.65
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 2.04 1.86 1.73 3/215 9116
/proc/meminfo: memFree=23279204/32770624 swapFree=0/566780
[pid=8754] ppid=8751 vsize=14069564 CPUtime=2427.75 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 533929 12772 0 0 242063 705 4 3 20 0 15 0 91326128 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 1087946 3494 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=2372.09 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 257924 12772 0 0 237126 76 4 3 20 0 15 0 91326150 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842996468208 139842628064704 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=7.55 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 23807 12772 0 0 613 135 4 3 20 0 15 0 91326151 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 21985 12772 0 0 614 136 4 3 20 0 15 0 91326151 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=7.54 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 28860 12772 0 0 609 138 4 3 20 0 15 0 91326151 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=7.53 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 25765 12772 0 0 608 138 4 3 20 0 15 0 91326151 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=1.78 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 45170 12772 0 0 146 25 4 3 20 0 15 0 91326152 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 88 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=14069564 CPUtime=9.84 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) S 8751 8754 1460 0 -1 1077944384 48510 12772 0 0 968 9 4 3 20 0 15 0 91326156 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842533685872 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=14069564 CPUtime=9.02 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) S 8751 8754 1460 0 -1 1077944384 33132 12772 0 0 889 6 4 3 20 0 15 0 91326156 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=14069564 CPUtime=4.03 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 44824 12772 0 0 389 7 4 3 20 0 15 0 91326156 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=1.3 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 1659 12772 0 0 57 66 4 3 20 0 15 0 91326161 14407233536 1087946 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 2427.75
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 1.92 1.86 1.74 3/213 9118
/proc/meminfo: memFree=22983484/32770624 swapFree=0/566796
[pid=8754] ppid=8751 vsize=14069564 CPUtime=2487.84 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 540991 12772 0 0 248070 707 4 3 20 0 15 0 91326128 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 1087923 3494 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=2432.07 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 262684 12772 0 0 243123 77 4 3 20 0 15 0 91326150 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842996468288 139842629424974 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 25272 12772 0 0 615 135 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=7.59 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 22090 12772 0 0 616 136 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=7.56 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 29117 12772 0 0 611 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=7.55 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 25865 12772 0 0 610 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=1.78 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 45513 12772 0 0 146 25 4 3 20 0 15 0 91326152 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 88 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=14069564 CPUtime=9.84 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) S 8751 8754 1460 0 -1 1077944384 48512 12772 0 0 968 9 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842533685872 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=14069564 CPUtime=9.02 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) S 8751 8754 1460 0 -1 1077944384 33135 12772 0 0 889 6 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=14069564 CPUtime=4.03 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 44827 12772 0 0 389 7 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=1.33 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 1683 12772 0 0 59 67 4 3 20 0 15 0 91326161 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 2487.84
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2474.5 s]
/proc/loadavg: 1.77 1.82 1.73 3/213 9120
/proc/meminfo: memFree=22803096/32770624 swapFree=0/566804
[pid=8754] ppid=8751 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 547017 12772 0 0 251294 708 4 3 20 0 15 0 91326128 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 1087923 3494 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=2464.25 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 266370 12772 0 0 246340 78 4 3 20 0 15 0 91326150 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842996468288 139842629425348 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=7.59 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 25385 12772 0 0 617 135 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=7.6 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 22351 12772 0 0 617 136 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 30603 12772 0 0 612 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 25970 12772 0 0 612 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=1.79 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 45850 12772 0 0 147 25 4 3 20 0 15 0 91326152 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 88 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=14069564 CPUtime=9.84 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) S 8751 8754 1460 0 -1 1077944384 48515 12772 0 0 968 9 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842533685872 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=14069564 CPUtime=9.02 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) S 8751 8754 1460 0 -1 1077944384 33143 12772 0 0 889 6 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=14069564 CPUtime=4.03 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 44831 12772 0 0 389 7 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=1.35 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 1706 12772 0 0 60 68 4 3 20 0 15 0 91326161 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

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

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

[startup+2474.5 s]
/proc/loadavg: 1.77 1.82 1.73 3/213 9120
/proc/meminfo: memFree=22803096/32770624 swapFree=0/566804
[pid=8754] ppid=8751 vsize=14069564 CPUtime=2520.09 cores=1,3,5,7
/proc/8754/stat : 8754 (java) S 8751 8754 1460 0 -1 1077944320 547017 12772 0 0 251294 708 4 3 20 0 15 0 91326128 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 140724623111616 139842992234231 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 9 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
/proc/8754/statm: 3517391 1087923 3494 1 0 3506005 0
[pid=8754/tid=8804] ppid=8751 vsize=14069564 CPUtime=2464.25 cores=1,3,5,7
/proc/8754/task/8804/stat : 8804 (java) R 8751 8754 1460 0 -1 4202560 266370 12772 0 0 246340 78 4 3 20 0 15 0 91326150 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842996468288 139842629425348 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8805] ppid=8751 vsize=14069564 CPUtime=7.59 cores=1,3,5,7
/proc/8754/task/8805/stat : 8805 (java) S 8751 8754 1460 0 -1 1077944384 25385 12772 0 0 617 135 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842934180752 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8806] ppid=8751 vsize=14069564 CPUtime=7.6 cores=1,3,5,7
/proc/8754/task/8806/stat : 8806 (java) S 8751 8754 1460 0 -1 1077944384 22351 12772 0 0 617 136 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842933127952 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8807] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8807/stat : 8807 (java) S 8751 8754 1460 0 -1 1077944384 30603 12772 0 0 612 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842932075664 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8808] ppid=8751 vsize=14069564 CPUtime=7.57 cores=1,3,5,7
/proc/8754/task/8808/stat : 8808 (java) S 8751 8754 1460 0 -1 1077944384 25970 12772 0 0 612 138 4 3 20 0 15 0 91326151 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842931022864 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8809] ppid=8751 vsize=14069564 CPUtime=1.79 cores=1,3,5,7
/proc/8754/task/8809/stat : 8809 (java) S 8751 8754 1460 0 -1 1077944384 45850 12772 0 0 147 25 4 3 20 0 15 0 91326152 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842537896048 139842992245378 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8810] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8810/stat : 8810 (java) S 8751 8754 1460 0 -1 1077944384 88 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842536842144 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8811] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8811/stat : 8811 (java) S 8751 8754 1460 0 -1 1077944384 47 12772 0 0 0 0 4 3 20 0 15 0 91326153 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842535789696 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8812] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8812/stat : 8812 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842534738000 139842992252827 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8813] ppid=8751 vsize=14069564 CPUtime=9.84 cores=1,3,5,7
/proc/8754/task/8813/stat : 8813 (java) S 8751 8754 1460 0 -1 1077944384 48515 12772 0 0 968 9 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842533685872 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8814] ppid=8751 vsize=14069564 CPUtime=9.02 cores=1,3,5,7
/proc/8754/task/8814/stat : 8814 (java) S 8751 8754 1460 0 -1 1077944384 33143 12772 0 0 889 6 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842532633072 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8815] ppid=8751 vsize=14069564 CPUtime=4.03 cores=1,3,5,7
/proc/8754/task/8815/stat : 8815 (java) S 8751 8754 1460 0 -1 1077944384 44831 12772 0 0 389 7 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842531580784 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8816] ppid=8751 vsize=14069564 CPUtime=0.07 cores=1,3,5,7
/proc/8754/task/8816/stat : 8816 (java) S 8751 8754 1460 0 -1 1077944384 3 12772 0 0 0 0 4 3 20 0 15 0 91326156 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842530528224 139842992244437 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
[pid=8754/tid=8817] ppid=8751 vsize=14069564 CPUtime=1.35 cores=1,3,5,7
/proc/8754/task/8817/stat : 8817 (java) S 8751 8754 1460 0 -1 1077944384 1706 12772 0 0 60 68 4 3 20 0 15 0 91326161 14407233536 1087923 18446744073709551615 4194304 4196468 140724623129072 139842529474992 139842992245378 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 37187584 140724623136720 140724623139505 140724623139505 140724623142863 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 14069564

Child status: 143
Real time (s): 2474.55
CPU time (s): 2520.17
CPU user time (s): 2513.01
CPU system time (s): 7.15374
CPU usage (%): 101.844
Max. virtual memory (cumulated for all children) (KiB): 14072104

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.01
system time used= 7.15374
maximum resident set size= 4352716
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 564848
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2992
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 98371
involuntary context switches= 5294

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.6392 second user time and 13.9155 second system time

The end

Launcher Data 

Begin job on node134 at 2017-08-11 09:42:42
IDJOB=4262215
IDBENCH=124419
IDSOLVER=2650
FILE ID=node134/4262215-1502438198
RUNJOBID= node134-1502411438-1524
PBS_JOBID= 
Free space on /tmp= 62008 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-4262215-1502438198/watcher-4262215-1502438198 -o /tmp/evaluation-result-4262215-1502438198/solver-4262215-1502438198 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502411438-1524 --watchdog 2580  bin/concrete HOME/instance-4262215-1502438198.xml

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

MD5SUM BENCH= 4e8baeb7bdba194b7c2724961347fdb9
RANDOM SEED=1671054892

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30319788 kB
MemAvailable:   31290524 kB
Buffers:          283968 kB
Cached:           980536 kB
SwapCached:            0 kB
Active:          1417196 kB
Inactive:         597412 kB
Active(anon):     752488 kB
Inactive(anon):    31216 kB
Active(file):     664708 kB
Inactive(file):   566196 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24128 kB
Writeback:             4 kB
AnonPages:        749924 kB
Mapped:            63624 kB
Shmem:             33468 kB
Slab:             137624 kB
SReclaimable:     111336 kB
SUnreclaim:        26288 kB
KernelStack:        3472 kB
PageTables:         6868 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1647572 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    661504 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      101760 kB
DirectMap2M:    33443840 kB

Free space on /tmp at the end= 61984 MiB
End job on node134 at 2017-08-11 10:23:57