Trace number 4259815

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)455 252.161 219.356

General information on the benchmark

NameStillLife/StillLife-wst-s1/
StillLife-wastage-32.xml
MD5SUM3de3ac871f1e1c584be6c245f66daf9e
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark491
Best CPU time to get the best result obtained on this benchmark251.978
Satisfiable
(Un)Satisfiability was proved
Number of variables2347
Number of constraints1352
Number of domains4
Minimum domain size2
Maximum domain size2313
Distribution of domain sizes[{"size":2,"count":1156},{"size":3,"count":1156},{"size":1025,"count":1},{"size":2313,"count":34}]
Minimum variable degree1
Maximum variable degree35
Distribution of variable degrees[{"degree":1,"count":4},{"degree":2,"count":1153},{"degree":3,"count":37},{"degree":4,"count":128},{"degree":8,"count":124},{"degree":9,"count":900},{"degree":35,"count":1}]
Minimum constraint arity2
Maximum constraint arity36
Distribution of constraint arities[{"arity":2,"count":162},{"arity":3,"count":128},{"arity":10,"count":1024},{"arity":34,"count":4},{"arity":35,"count":1},{"arity":36,"count":33}]
Number of extensional constraints1152
Number of intensional constraints161
Distribution of constraint types[{"type":"extension","count":1152},{"type":"intension","count":161},{"type":"sum","count":35},{"type":"instantiation","count":4}]
Optimization problemYES
Type of objectivemax VAR

Quality of the solution as a function of time


Download the above graph as a PDF file / as an EPS file

Solver Data 

3.36/2.15	c Concrete v3.4 running
17.48/7.00	% 18:56:03.891 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7377. 'extension(false, x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: MDD 786970485, 3 edges, 4 vertices, 1 tuples
17.48/7.02	% 18:56:03.919 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7470. 'extension(false, x[1][32]: {[0?1]}, x[2][32]: {[0?1]}) :: init: true :: relation: MDD 1703358554, 3 edges, 4 vertices, 1 tuples
17.48/7.03	% 18:56:03.920 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7475. 'extension(x[31][1]: {[0?1]}, x[32][1]: {[0?1]}, false) :: init: true :: relation: MDD 786970485, 3 edges, 4 vertices, 1 tuples
17.48/7.04	% 18:56:03.937 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7568. 'extension(x[31][32]: {[0?1]}, x[32][32]: {[0?1]}, false) :: init: true :: relation: MDD 1703358554, 3 edges, 4 vertices, 1 tuples
17.48/7.04	% 18:56:03.938 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7572. 'extension(false, x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: MDD 543028700, 3 edges, 4 vertices, 1 tuples
17.48/7.06	% 18:56:03.951 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7665. 'extension(false, x[32][1]: {[0?1]}, x[32][2]: {[0?1]}) :: init: true :: relation: MDD 809260538, 3 edges, 4 vertices, 1 tuples
17.48/7.06	% 18:56:03.953 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7668. 'extension(x[1][31]: {[0?1]}, x[1][32]: {[0?1]}, false) :: init: true :: relation: MDD 543028700, 3 edges, 4 vertices, 1 tuples
17.48/7.07	% 18:56:03.968 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7761. 'extension(x[32][31]: {[0?1]}, x[32][32]: {[0?1]}, false) :: init: true :: relation: MDD 809260538, 3 edges, 4 vertices, 1 tuples
17.48/7.07	% 18:56:03.970 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7765. 'extension(x[1][1]: {[0?1]}, x[2][1]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.08	% 18:56:03.975 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7825. 'extension(x[1][32]: {[0?1]}, x[2][32]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.08	% 18:56:03.976 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7829. 'extension(x[31][1]: {[0?1]}, x[32][1]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.09	% 18:56:03.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7889. 'extension(x[31][32]: {[0?1]}, x[32][32]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.09	% 18:56:03.981 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7893. 'extension(x[1][1]: {[0?1]}, x[1][2]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.09	% 18:56:03.987 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7955. 'extension(x[32][1]: {[0?1]}, x[32][2]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.09	% 18:56:03.988 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 7961. 'extension(x[1][31]: {[0?1]}, x[1][32]: {[0?1]}) :: init: true :: relation: Empty MDD
17.48/7.10	% 18:56:03.993 [main] WARN  cspom.compiler.ReduceRelations - Relation is empty for constraint 8023. 'extension(x[32][31]: {[0?1]}, x[32][32]: {[0?1]}) :: init: true :: relation: Empty MDD
38.22/18.99	o 55
38.65/19.18	o 58
38.99/19.38	o 59
39.38/19.57	o 60
39.68/19.76	o 98
39.95/19.95	o 134
40.09/20.10	o 138
40.33/20.27	o 150
40.56/20.48	o 151
41.37/20.97	o 152
41.62/21.20	o 153
41.83/21.37	o 154
42.25/21.72	o 155
42.63/22.06	o 156
42.84/22.25	o 157
43.06/22.43	o 158
43.39/22.77	o 159
43.61/22.96	o 160
44.55/23.76	o 161
44.98/24.12	o 162
45.62/24.77	o 163
45.83/24.96	o 164
46.06/25.18	o 165
46.42/25.49	o 166
46.95/25.92	o 167
47.28/26.21	o 168
47.48/26.49	o 169
47.82/26.72	o 170
48.01/26.93	o 171
48.24/27.14	o 172
48.45/27.34	o 173
48.67/27.55	o 174
49.15/27.93	o 175
49.98/28.71	o 176
50.20/28.92	o 177
50.41/29.12	o 178
50.63/29.34	o 179
51.05/29.77	o 180
51.49/30.11	o 181
51.74/30.34	o 182
52.36/30.78	o 183
52.81/31.11	o 184
53.01/31.32	o 185
53.22/31.59	o 186
53.69/31.94	o 187
54.02/32.29	o 188
54.23/32.46	o 189
54.75/32.91	o 190
55.24/33.33	o 191
55.45/33.52	o 192
56.15/34.13	o 193
56.36/34.32	o 194
56.89/34.85	o 195
57.10/35.03	o 196
57.51/35.40	o 197
57.62/35.59	o 198
57.83/35.78	o 199
58.03/35.96	o 200
58.71/36.51	o 201
58.94/36.70	o 202
59.04/36.88	o 203
59.27/37.09	o 204
59.59/37.31	o 205
59.81/37.53	o 206
60.13/37.83	o 207
60.34/38.02	o 208
60.45/38.19	o 209
60.97/38.68	o 210
61.30/38.90	o 211
61.53/39.11	o 212
61.90/39.47	o 213
62.12/39.68	o 214
62.43/39.90	o 215
62.66/40.12	o 216
63.18/40.68	o 217
63.39/40.87	o 298
63.82/41.23	o 299
64.24/41.61	o 300
64.45/41.84	o 301
64.66/42.04	o 302
64.87/42.23	o 303
65.07/42.40	o 304
65.63/42.80	o 305
65.84/43.00	o 306
66.35/43.54	o 307
66.57/43.77	o 308
67.13/44.21	o 309
67.34/44.43	o 310
67.57/44.65	o 311
68.11/45.15	o 312
68.83/45.87	o 313
69.42/46.32	o 314
69.83/46.74	o 315
70.04/46.94	o 316
70.67/47.57	o 317
71.01/47.88	o 318
71.35/48.11	o 319
71.82/48.54	o 320
72.66/49.11	o 321
74.82/51.21	o 322
76.07/52.32	o 323
77.84/53.95	o 324
78.28/54.30	o 325
78.71/54.79	o 326
80.20/56.18	o 327
80.41/56.39	o 328
81.20/57.02	o 329
81.74/57.51	o 330
84.62/60.21	o 331
85.36/60.91	o 332
85.57/61.13	o 333
85.90/61.49	o 334
86.32/61.83	o 335
86.96/62.45	o 336
87.17/62.68	o 337
88.17/63.58	o 338
88.48/63.80	o 339
88.83/64.20	o 340
89.14/64.41	o 341
89.45/64.79	o 342
89.77/65.02	o 343
90.18/65.40	o 344
90.40/65.66	o 345
90.83/66.00	o 346
91.05/66.22	o 347
91.56/66.77	o 348
91.78/66.96	o 349
92.77/67.85	o 350
92.98/68.09	o 351
93.31/68.31	o 352
93.52/68.54	o 353
94.46/69.49	o 354
94.77/69.71	o 355
95.41/70.30	o 356
95.63/70.51	o 357
95.94/70.80	o 358
96.16/71.04	o 359
96.38/71.27	o 360
96.94/71.78	o 361
97.16/71.99	o 362
97.49/72.22	o 363
98.11/72.89	o 364
98.43/73.11	o 365
98.75/73.46	o 366
99.27/73.99	o 367
99.69/74.40	o 368
100.00/74.63	o 369
100.43/75.07	o 370
102.08/76.53	o 371
102.51/76.91	o 372
102.74/77.14	o 373
103.14/77.58	o 374
103.47/77.84	o 375
104.39/78.71	o 376
104.71/79.02	o 377
104.92/79.25	o 378
105.24/79.51	o 379
106.38/80.67	o 380
106.86/81.08	o 381
107.17/81.31	o 382
107.81/81.95	o 383
108.03/82.15	o 384
109.48/83.54	o 385
109.69/83.76	o 386
109.91/83.99	o 387
110.32/84.38	o 388
111.29/85.21	o 389
112.11/85.94	o 390
112.56/86.33	o 391
112.77/86.55	o 392
113.00/86.79	o 393
115.12/88.80	o 394
115.44/89.02	o 395
115.88/89.45	o 396
116.62/90.13	o 397
118.05/91.45	o 398
119.12/92.44	o 399
122.73/95.83	o 400
123.15/96.21	o 401
130.61/103.38	o 402
130.81/103.58	o 403
131.45/104.12	o 404
131.88/104.58	o 405
132.82/105.41	o 406
135.27/107.71	o 407
136.51/108.93	o 408
136.73/109.13	o 409
137.44/109.86	o 410
137.64/110.09	o 411
137.96/110.30	o 412
141.62/113.81	o 413
142.35/114.54	o 414
142.57/114.78	o 415
144.69/116.73	o 416
145.62/117.67	o 417
147.08/119.05	o 418
148.21/120.01	o 419
148.83/120.62	o 420
149.04/120.84	o 421
149.48/121.29	o 422
151.13/122.88	o 423
151.34/123.10	o 424
152.10/123.75	o 425
152.53/124.11	o 426
152.93/124.54	o 427
153.58/125.15	o 428
153.79/125.38	o 429
157.98/129.34	o 430
158.62/129.99	o 431
159.20/130.48	o 432
159.62/130.89	o 433
160.36/131.55	o 434
161.61/132.78	o 435
163.25/134.22	o 436
163.66/134.64	o 437
168.62/139.36	o 438
169.03/139.79	o 439
169.77/140.41	o 440
171.34/141.94	o 441
172.05/142.54	o 442
172.26/142.75	o 443
174.93/145.26	o 444
175.23/145.56	o 445
175.96/146.27	o 446
176.35/146.66	o 447
177.08/147.33	o 448
177.29/147.56	o 449
177.49/147.77	o 450
177.70/147.97	o 451
182.39/152.34	o 452
219.54/187.77	o 453
221.29/189.42	o 454
225.40/193.33	o 455
252.07/219.31	java.util.concurrent.TimeoutException
252.07/219.31		at concrete.MAC.mac(MAC.scala:74)
252.07/219.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
252.07/219.31		at scala.util.Try$.apply(Try.scala:209)
252.07/219.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
252.07/219.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
252.07/219.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
252.07/219.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
252.07/219.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
252.07/219.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
252.07/219.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
252.07/219.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
252.07/219.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
252.07/219.31		at concrete.MAC.oneRun(MAC.scala:146)
252.07/219.31		at concrete.MAC.nextSolution(MAC.scala:166)
252.07/219.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
252.07/219.31		at concrete.ProblemState.map(ProblemState.scala:203)
252.07/219.31		at concrete.ProblemState.map(ProblemState.scala:188)
252.07/219.31		at concrete.MAC.nextSolution(MAC.scala:195)
252.07/219.31		at concrete.Solver.hasNext(Solver.scala:202)
252.07/219.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
252.07/219.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
252.07/219.31		at concrete.Solver.toStream(Solver.scala:73)
252.07/219.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
252.07/219.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
252.07/219.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
252.07/219.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
252.07/219.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
252.07/219.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
252.07/219.31		at scala.util.Success.map(Try.scala:209)
252.07/219.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
252.07/219.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
252.07/219.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
252.07/219.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
252.07/219.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
252.07/219.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
252.07/219.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
252.07/219.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
252.07/219.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
252.07/219.31		at scala.collection.immutable.List.foreach(List.scala:389)
252.07/219.31		at scala.App.main(App.scala:76)
252.07/219.31		at scala.App.main$(App.scala:74)
252.07/219.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
252.07/219.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
252.07/219.31	v <instantiation cost="455">
252.07/219.31	v       <list>
252.07/219.31	v         x[0][0] x[0][1] x[0][2] x[0][3] x[0][4] x[0][5] x[0][6] x[0][7] x[0][8] x[0][9] x[0][10] x[0][11] x[0][12] x[0][13] x[0][14] x[0][15] x[0][16] x[0][17] x[0][18] x[0][19] x[0][20] x[0][21] x[0][22] x[0][23] x[0][24] x[0][25] x[0][26] x[0][27] x[0][28] x[0][29] x[0][30] x[0][31] x[0][32] x[0][33] x[1][0] x[1][1] x[1][2] x[1][3] x[1][4] x[1][5] x[1][6] x[1][7] x[1][8] x[1][9] x[1][10] x[1][11] x[1][12] x[1][13] x[1][14] x[1][15] x[1][16] x[1][17] x[1][18] x[1][19] x[1][20] x[1][21] x[1][22] x[1][23] x[1][24] x[1][25] x[1][26] x[1][27] x[1][28] x[1][29] x[1][30] x[1][31] x[1][32] x[1][33] x[2][0] x[2][1] x[2][2] x[2][3] x[2][4] x[2][5] x[2][6] x[2][7] x[2][8] x[2][9] x[2][10] x[2][11] x[2][12] x[2][13] x[2][14] x[2][15] x[2][16] x[2][17] x[2][18] x[2][19] x[2][20] x[2][21] x[2][22] x[2][23] x[2][24] x[2][25] x[2][26] x[2][27] x[2][28] x[2][29] x[2][30] x[2][31] x[2][32] x[2][33] x[3][0] x[3][1] x[3][2] x[3][3] x[3][4] x[3][5] x[3][6] x[3][7] x[3][8] x[3][9] x[3][10] x[3][11] x[3][12] x[3][13] x[3][14] x[3][15] x[3][16] x[3][17] x[3][18] x[3][19] x[3][20] x[3][21] x[3][22] x[3][23] x[3][24] x[3][25] x[3][26] x[3][27] x[3][28] x[3][29] x[3][30] x[3][31] x[3][32] x[3][33] x[4][0] x[4][1] x[4][2] x[4][3] x[4][4] x[4][5] x[4][6] x[4][7] x[4][8] x[4][9] x[4][10] x[4][11] x[4][12] x[4][13] x[4][14] x[4][15] x[4][16] x[4][17] x[4][18] x[4][19] x[4][20] x[4][21] x[4][22] x[4][23] x[4][24] x[4][25] x[4][26] x[4][27] x[4][28] x[4][29] x[4][30] x[4][31] x[4][32] x[4][33] x[5][0] x[5][1] x[5][2] x[5][3] x[5][4] x[5][5] x[5][6] x[5][7] x[5][8] x[5][9] x[5][10] x[5][11] x[5][12] x[5][13] x[5][14] x[5][15] x[5][16] x[5][17] x[5][18] x[5][19] x[5][20] x[5][21] x[5][22] x[5][23] x[5][24] x[5][25] x[5][26] x[5][27] x[5][28] x[5][29] x[5][30] x[5][31] x[5][32] x[5][33] x[6][0] x[6][1] x[6][2] x[6][3] x[6][4] x[6][5] x[6][6] x[6][7] x[6][8] x[6][9] x[6][10] x[6][11] x[6][12] x[6][13] x[6][14] x[6][15] x[6][16] x[6][17] x[6][18] x[6][19] x[6][20] x[6][21] x[6][22] x[6][23] x[6][24] x[6][25] x[6][26] x[6][27] x[6][28] x[6][29] x[6][30] x[6][31] x[6][32] x[6][33] x[7][0] x[7][1] x[7][2] x[7][3] x[7][4] x[7][5] x[7][6] x[7][7] x[7][8] x[7][9] x[7][10] x[7][11] x[7][12] x[7][13] x[7][14] x[7][15] x[7][16] x[7][17] x[7][18] x[7][19] x[7][20] x[7][21] x[7][22] x[7][23] x[7][24] x[7][25] x[7][26] x[7][27] x[7][28] x[7][29] x[7][30] x[7][31] x[7][32] x[7][33] x[8][0] x[8][1] x[8][2] x[8][3] x[8][4] x[8][5] x[8][6] x[8][7] x[8][8] x[8][9] x[8][10] x[8][11] x[8][12] x[8][13] x[8][14] x[8][15] x[8][16] x[8][17] x[8][18] x[8][19] x[8][20] x[8][21] x[8][22] x[8][23] x[8][24] x[8][25] x[8][26] x[8][27] x[8][28] x[8][29] x[8][30] x[8][31] x[8][32] x[8][33] x[9][0] x[9][1] x[9][2] x[9][3] x[9][4] x[9][5] x[9][6] x[9][7] x[9][8] x[9][9] x[9][10] x[9][11] x[9][12] x[9][13] x[9][14] x[9][15] x[9][16] x[9][17] x[9][18] x[9][19] x[9][20] x[9][21] x[9][22] x[9][23] x[9][24] x[9][25] x[9][26] x[9][27] x[9][28] x[9][29] x[9][30] x[9][31] x[9][32] x[9][33] x[10][0] x[10][1] x[10][2] x[10][3] x[10][4] x[10][5] x[10][6] x[10][7] x[10][8] x[10][9] x[10][10] x[10][11] x[10][12] x[10][13] x[10][14] x[10][15] x[10][16] x[10][17] x[10][18] x[10][19] x[10][20] x[10][21] x[10][22] x[10][23] x[10][24] x[10][25] x[10][26] x[10][27] x[10][28] x[10][29] x[10][30] x[10][31] x[10][32] x[10][33] x[11][0] x[11][1] x[11][2] x[11][3] x[11][4] x[11][5] x[11][6] x[11][7] x[11][8] x[11][9] x[11][10] x[11][11] x[11][12] x[11][13] x[11][14] x[11][15] x[11][16] x[11][17] x[11][18] x[11][19] x[11][20] x[11][21] x[11][22] x[11][23] x[11][24] x[11][25] x[11][26] x[11][27] x[11][28] x[11][29] x[11][30] x[11][31] x[11][32] x[11][33] x[12][0] x[12][1] x[12][2] x[12][3] x[12][4] x[12][5] x[12][6] x[12][7] x[12][8] x[12][9] x[12][10] x[12][11] x[12][12] x[12][13] x[12][14] x[12][15] x[12][16] x[12][17] x[12][18] x[12][19] x[12][20] x[12][21] x[12][22] x[12][23] x[12][24] x[12][25] x[12][26] x[12][27] x[12][28] x[12][29] x[12][30] x[12][31] x[12][32] x[12][33] x[13][0] x[13][1] x[13][2] x[13][3] x[13][4] x[13][5] x[13][6] x[13][7] x[13][8] x[13][9] x[13][10] x[13][11] x[13][12] x[13][13] x[13][14] x[13][15] x[13][16] x[13][17] x[13][18] x[13][19] x[13][20] x[13][21] x[13][22] x[13][23] x[13][24] x[13][25] x[13][26] x[13][27] x[13][28] x[13][29] x[13][30] x[13][31] x[13][32] x[13][33] x[14][0] x[14][1] x[14][2] x[14][3] x[14][4] x[14][5] x[14][6] x[14][7] x[14][8] x[14][9] x[14][10] x[14][11] x[14][12] x[14][13] x[14][14] x[14][15] x[14][16] x[14][17] x[14][18] x[14][19] x[14][20] x[14][21] x[14][22] x[14][23] x[14][24] x[14][25] x[14][26] x[14][27] x[14][28] x[14][29] x[14][30] x[14][31] x[14][32] x[14][33] x[15][0] x[15][1] x[15][2] x[15][3] x[15][4] x[15][5] x[15][6] x[15][7] x[15][8] x[15][9] x[15][10] x[15][11] x[15][12] x[15][13] x[15][14] x[15][15] x[15][16] x[15][17] x[15][18] x[15][19] x[15][20] x[15][21] x[15][22] x[15][23] x[15][24] x[15][25] x[15][26] x[15][27] x[15][28] x[15][29] x[15][30] x[15][31] x[15][32] x[15][33] x[16][0] x[16][1] x[16][2] x[16][3] x[16][4] x[16][5] x[16][6] x[16][7] x[16][8] x[16][9] x[16][10] x[16][11] x[16][12] x[16][13] x[16][14] x[16][15] x[16][16] x[16][17] x[16][18] x[16][19] x[16][20] x[16][21] x[16][22] x[16][23] x[16][24] x[16][25] x[16][26] x[16][27] x[16][28] x[16][29] x[16][30] x[16][31] x[16][32] x[16][33] x[17][0] x[17][1] x[17][2] x[17][3] x[17][4] x[17][5] x[17][6] x[17][7] x[17][8] x[17][9] x[17][10] x[17][11] x[17][12] x[17][13] x[17][14] x[17][15] x[17][16] x[17][17] x[17][18] x[17][19] x[17][20] x[17][21] x[17][22] x[17][23] x[17][24] x[17][25] x[17][26] x[17][27] x[17][28] x[17][29] x[17][30] x[17][31] x[17][32] x[17][33] x[18][0] x[18][1] x[18][2] x[18][3] x[18][4] x[18][5] x[18][6] x[18][7] x[18][8] x[18][9] x[18][10] x[18][11] x[18][12] x[18][13] x[18][14] x[18][15] x[18][16] x[18][17] x[18][18] x[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[18][27] x[18][28] x[18][29] x[18][30] x[18][31] x[18][32] x[18][33] x[19][0] x[19][1] x[19][2] x[19][3] x[19][4] x[19][5] x[19][6] x[19][7] x[19][8] x[19][9] x[19][10] x[19][11] x[19][12] x[19][13] x[19][14] x[19][15] x[19][16] x[19][17] x[19][18] x[19][19] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[19][27] x[19][28] x[19][29] x[19][30] x[19][31] x[19][32] x[19][33] x[20][0] x[20][1] x[20][2] x[20][3] x[20][4] x[20][5] x[20][6] x[20][7] x[20][8] x[20][9] x[20][10] x[20][11] x[20][12] x[20][13] x[20][14] x[20][15] x[20][16] x[20][17] x[20][18] x[20][19] x[20][20] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[20][27] x[20][28] x[20][29] x[20][30] x[20][31] x[20][32] x[20][33] x[21][0] x[21][1] x[21][2] x[21][3] x[21][4] x[21][5] x[21][6] x[21][7] x[21][8] x[21][9] x[21][10] x[21][11] x[21][12] x[21][13] x[21][14] x[21][15] x[21][16] x[21][17] x[21][18] x[21][19] x[21][20] x[21][21] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[21][27] x[21][28] x[21][29] x[21][30] x[21][31] x[21][32] x[21][33] x[22][0] x[22][1] x[22][2] x[22][3] x[22][4] x[22][5] x[22][6] x[22][7] x[22][8] x[22][9] x[22][10] x[22][11] x[22][12] x[22][13] x[22][14] x[22][15] x[22][16] x[22][17] x[22][18] x[22][19] x[22][20] x[22][21] x[22][22] x[22][23] x[22][24] x[22][25] x[22][26] x[22][27] x[22][28] x[22][29] x[22][30] x[22][31] x[22][32] x[22][33] x[23][0] x[23][1] x[23][2] x[23][3] x[23][4] x[23][5] x[23][6] x[23][7] x[23][8] x[23][9] x[23][10] x[23][11] x[23][12] x[23][13] x[23][14] x[23][15] x[23][16] x[23][17] x[23][18] x[23][19] x[23][20] x[23][21] x[23][22] x[23][23] x[23][24] x[23][25] x[23][26] x[23][27] x[23][28] x[23][29] x[23][30] x[23][31] x[23][32] x[23][33] x[24][0] x[24][1] x[24][2] x[24][3] x[24][4] x[24][5] x[24][6] x[24][7] x[24][8] x[24][9] x[24][10] x[24][11] x[24][12] x[24][13] x[24][14] x[24][15] x[24][16] x[24][17] x[24][18] x[24][19] x[24][20] x[24][21] x[24][22] x[24][23] x[24][24] x[24][25] x[24][26] x[24][27] x[24][28] x[24][29] x[24][30] x[24][31] x[24][32] x[24][33] x[25][0] x[25][1] x[25][2] x[25][3] x[25][4] x[25][5] x[25][6] x[25][7] x[25][8] x[25][9] x[25][10] x[25][11] x[25][12] x[25][13] x[25][14] x[25][15] x[25][16] x[25][17] x[25][18] x[25][19] x[25][20] x[25][21] x[25][22] x[25][23] x[25][24] x[25][25] x[25][26] x[25][27] x[25][28] x[25][29] x[25][30] x[25][31] x[25][32] x[25][33] x[26][0] x[26][1] x[26][2] x[26][3] x[26][4] x[26][5] x[26][6] x[26][7] x[26][8] x[26][9] x[26][10] x[26][11] x[26][12] x[26][13] x[26][14] x[26][15] x[26][16] x[26][17] x[26][18] x[26][19] x[26][20] x[26][21] x[26][22] x[26][23] x[26][24] x[26][25] x[26][26] x[26][27] x[26][28] x[26][29] x[26][30] x[26][31] x[26][32] x[26][33] x[27][0] x[27][1] x[27][2] x[27][3] x[27][4] x[27][5] x[27][6] x[27][7] x[27][8] x[27][9] x[27][10] x[27][11] x[27][12] x[27][13] x[27][14] x[27][15] x[27][16] x[27][17] x[27][18] x[27][19] x[27][20] x[27][21] x[27][22] x[27][23] x[27][24] x[27][25] x[27][26] x[27][27] x[27][28] x[27][29] x[27][30] x[27][31] x[27][32] x[27][33] x[28][0] x[28][1] x[28][2] x[28][3] x[28][4] x[28][5] x[28][6] x[28][7] x[28][8] x[28][9] x[28][10] x[28][11] x[28][12] x[28][13] x[28][14] x[28][15] x[28][16] x[28][17] x[28][18] x[28][19] x[28][20] x[28][21] x[28][22] x[28][23] x[28][24] x[28][25] x[28][26] x[28][27] x[28][28] x[28][29] x[28][30] x[28][31] x[28][32] x[28][33] x[29][0] x[29][1] x[29][2] x[29][3] x[29][4] x[29][5] x[29][6] x[29][7] x[29][8] x[29][9] x[29][10] x[29][11] x[29][12] x[29][13] x[29][14] x[29][15] x[29][16] x[29][17] x[29][18] x[29][19] x[29][20] x[29][21] x[29][22] x[29][23] x[29][24] x[29][25] x[29][26] x[29][27] x[29][28] x[29][29] x[29][30] x[29][31] x[29][32] x[29][33] x[30][0] x[30][1] x[30][2] x[30][3] x[30][4] x[30][5] x[30][6] x[30][7] x[30][8] x[30][9] x[30][10] x[30][11] x[30][12] x[30][13] x[30][14] x[30][15] x[30][16] x[30][17] x[30][18] x[30][19] x[30][20] x[30][21] x[30][22] x[30][23] x[30][24] x[30][25] x[30][26] x[30][27] x[30][28] x[30][29] x[30][30] x[30][31] x[30][32] x[30][33] x[31][0] x[31][1] x[31][2] x[31][3] x[31][4] x[31][5] x[31][6] x[31][7] x[31][8] x[31][9] x[31][10] x[31][11] x[31][12] x[31][13] x[31][14] x[31][15] x[31][16] x[31][17] x[31][18] x[31][19] x[31][20] x[31][21] x[31][22] x[31][23] x[31][24] x[31][25] x[31][26] x[31][27] x[31][28] x[31][29] x[31][30] x[31][31] x[31][32] x[31][33] x[32][0] x[32][1] x[32][2] x[32][3] x[32][4] x[32][5] x[32][6] x[32][7] x[32][8] x[32][9] x[32][10] x[32][11] x[32][12] x[32][13] x[32][14] x[32][15] x[32][16] x[32][17] x[32][18] x[32][19] x[32][20] x[32][21] x[32][22] x[32][23] x[32][24] x[32][25] x[32][26] x[32][27] x[32][28] x[32][29] x[32][30] x[32][31] x[32][32] x[32][33] x[33][0] x[33][1] x[33][2] x[33][3] x[33][4] x[33][5] x[33][6] x[33][7] x[33][8] x[33][9] x[33][10] x[33][11] x[33][12] x[33][13] x[33][14] x[33][15] x[33][16] x[33][17] x[33][18] x[33][19] x[33][20] x[33][21] x[33][22] x[33][23] x[33][24] x[33][25] x[33][26] x[33][27] x[33][28] x[33][29] x[33][30] x[33][31] x[33][32] x[33][33] w[0][0] w[0][1] w[0][2] w[0][3] w[0][4] w[0][5] w[0][6] w[0][7] w[0][8] w[0][9] w[0][10] w[0][11] w[0][12] w[0][13] w[0][14] w[0][15] w[0][16] w[0][17] w[0][18] w[0][19] w[0][20] w[0][21] w[0][22] w[0][23] w[0][24] w[0][25] w[0][26] w[0][27] w[0][28] w[0][29] w[0][30] w[0][31] w[0][32] w[0][33] w[1][0] w[1][1] w[1][2] w[1][3] w[1][4] w[1][5] w[1][6] w[1][7] w[1][8] w[1][9] w[1][10] w[1][11] w[1][12] w[1][13] w[1][14] w[1][15] w[1][16] w[1][17] w[1][18] w[1][19] w[1][20] w[1][21] w[1][22] w[1][23] w[1][24] w[1][25] w[1][26] w[1][27] w[1][28] w[1][29] w[1][30] w[1][31] w[1][32] w[1][33] w[2][0] w[2][1] w[2][2] w[2][3] w[2][4] w[2][5] w[2][6] w[2][7] w[2][8] w[2][9] w[2][10] w[2][11] w[2][12] w[2][13] w[2][14] w[2][15] w[2][16] w[2][17] w[2][18] w[2][19] w[2][20] w[2][21] w[2][22] w[2][23] w[2][24] w[2][25] w[2][26] w[2][27] w[2][28] w[2][29] w[2][30] w[2][31] w[2][32] w[2][33] w[3][0] w[3][1] w[3][2] w[3][3] w[3][4] w[3][5] w[3][6] w[3][7] w[3][8] w[3][9] w[3][10] w[3][11] w[3][12] w[3][13] w[3][14] w[3][15] w[3][16] w[3][17] w[3][18] w[3][19] w[3][20] w[3][21] w[3][22] w[3][23] w[3][24] w[3][25] w[3][26] w[3][27] w[3][28] w[3][29] w[3][30] w[3][31] w[3][32] w[3][33] w[4][0] w[4][1] w[4][2] w[4][3] w[4][4] w[4][5] w[4][6] w[4][7] w[4][8] w[4][9] w[4][10] w[4][11] w[4][12] w[4][13] w[4][14] w[4][15] w[4][16] w[4][17] w[4][18] w[4][19] w[4][20] w[4][21] w[4][22] w[4][23] w[4][24] w[4][25] w[4][26] w[4][27] w[4][28] w[4][29] w[4][30] w[4][31] w[4][32] w[4][33] w[5][0] w[5][1] w[5][2] w[5][3] w[5][4] w[5][5] w[5][6] w[5][7] w[5][8] w[5][9] w[5][10] w[5][11] w[5][12] w[5][13] w[5][14] w[5][15] w[5][16] w[5][17] w[5][18] w[5][19] w[5][20] w[5][21] w[5][22] w[5][23] w[5][24] w[5][25] w[5][26] w[5][27] w[5][28] w[5][29] w[5][30] w[5][31] w[5][32] w[5][33] w[6][0] w[6][1] w[6][2] w[6][3] w[6][4] w[6][5] w[6][6] w[6][7] w[6][8] w[6][9] w[6][10] w[6][11] w[6][12] w[6][13] w[6][14] w[6][15] w[6][16] w[6][17] w[6][18] w[6][19] w[6][20] w[6][21] w[6][22] w[6][23] w[6][24] w[6][25] w[6][26] w[6][27] w[6][28] w[6][29] w[6][30] w[6][31] w[6][32] w[6][33] w[7][0] w[7][1] w[7][2] w[7][3] w[7][4] w[7][5] w[7][6] w[7][7] w[7][8] w[7][9] w[7][10] w[7][11] w[7][12] w[7][13] w[7][14] w[7][15] w[7][16] w[7][17] w[7][18] w[7][19] w[7][20] w[7][21] w[7][22] w[7][23] w[7][24] w[7][25] w[7][26] w[7][27] w[7][28] w[7][29] w[7][30] w[7][31] w[7][32] w[7][33] w[8][0] w[8][1] w[8][2] w[8][3] w[8][4] w[8][5] w[8][6] w[8][7] w[8][8] w[8][9] w[8][10] w[8][11] w[8][12] w[8][13] w[8][14] w[8][15] w[8][16] w[8][17] w[8][18] w[8][19] w[8][20] w[8][21] w[8][22] w[8][23] w[8][24] w[8][25] w[8][26] w[8][27] w[8][28] w[8][29] w[8][30] w[8][31] w[8][32] w[8][33] w[9][0] w[9][1] w[9][2] w[9][3] w[9][4] w[9][5] w[9][6] w[9][7] w[9][8] w[9][9] w[9][10] w[9][11] w[9][12] w[9][13] w[9][14] w[9][15] w[9][16] w[9][17] w[9][18] w[9][19] w[9][20] w[9][21] w[9][22] w[9][23] w[9][24] w[9][25] w[9][26] w[9][27] w[9][28] w[9][29] w[9][30] w[9][31] w[9][32] w[9][33] w[10][0] w[10][1] w[10][2] w[10][3] w[10][4] w[10][5] w[10][6] w[10][7] w[10][8] w[10][9] w[10][10] w[10][11] w[10][12] w[10][13] w[10][14] w[10][15] w[10][16] w[10][17] w[10][18] w[10][19] w[10][20] w[10][21] w[10][22] w[10][23] w[10][24] w[10][25] w[10][26] w[10][27] w[10][28] w[10][29] w[10][30] w[10][31] w[10][32] w[10][33] w[11][0] w[11][1] w[11][2] w[11][3] w[11][4] w[11][5] w[11][6] w[11][7] w[11][8] w[11][9] w[11][10] w[11][11] w[11][12] w[11][13] w[11][14] w[11][15] w[11][16] w[11][17] w[11][18] w[11][19] w[11][20] w[11][21] w[11][22] w[11][23] w[11][24] w[11][25] w[11][26] w[11][27] w[11][28] w[11][29] w[11][30] w[11][31] w[11][32] w[11][33] w[12][0] w[12][1] w[12][2] w[12][3] w[12][4] w[12][5] w[12][6] w[12][7] w[12][8] w[12][9] w[12][10] w[12][11] w[12][12] w[12][13] w[12][14] w[12][15] w[12][16] w[12][17] w[12][18] w[12][19] w[12][20] w[12][21] w[12][22] w[12][23] w[12][24] w[12][25] w[12][26] w[12][27] w[12][28] w[12][29] w[12][30] w[12][31] w[12][32] w[12][33] w[13][0] w[13][1] w[13][2] w[13][3] w[13][4] w[13][5] w[13][6] w[13][7] w[13][8] w[13][9] w[13][10] w[13][11] w[13][12] w[13][13] w[13][14] w[13][15] w[13][16] w[13][17] w[13][18] w[13][19] w[13][20] w[13][21] w[13][22] w[13][23] w[13][24] w[13][25] w[13][26] w[13][27] w[13][28] w[13][29] w[13][30] w[13][31] w[13][32] w[13][33] w[14][0] w[14][1] w[14][2] w[14][3] w[14][4] w[14][5] w[14][6] w[14][7] w[14][8] w[14][9] w[14][10] w[14][11] w[14][12] w[14][13] w[14][14] w[14][15] w[14][16] w[14][17] w[14][18] w[14][19] w[14][20] w[14][21] w[14][22] w[14][23] w[14][24] w[14][25] w[14][26] w[14][27] w[14][28] w[14][29] w[14][30] w[14][31] w[14][32] w[14][33] w[15][0] w[15][1] w[15][2] w[15][3] w[15][4] w[15][5] w[15][6] w[15][7] w[15][8] w[15][9] w[15][10] w[15][11] w[15][12] w[15][13] w[15][14] w[15][15] w[15][16] w[15][17] w[15][18] w[15][19] w[15][20] w[15][21] w[15][22] w[15][23] w[15][24] w[15][25] w[15][26] w[15][27] w[15][28] w[15][29] w[15][30] w[15][31] w[15][32] w[15][33] w[16][0] w[16][1] w[16][2] w[16][3] w[16][4] w[16][5] w[16][6] w[16][7] w[16][8] w[16][9] w[16][10] w[16][11] w[16][12] w[16][13] w[16][14] w[16][15] w[16][16] w[16][17] w[16][18] w[16][19] w[16][20] w[16][21] w[16][22] w[16][23] w[16][24] w[16][25] w[16][26] w[16][27] w[16][28] w[16][29] w[16][30] w[16][31] w[16][32] w[16][33] w[17][0] w[17][1] w[17][2] w[17][3] w[17][4] w[17][5] w[17][6] w[17][7] w[17][8] w[17][9] w[17][10] w[17][11] w[17][12] w[17][13] w[17][14] w[17][15] w[17][16] w[17][17] w[17][18] w[17][19] w[17][20] w[17][21] w[17][22] w[17][23] w[17][24] w[17][25] w[17][26] w[17][27] w[17][28] w[17][29] w[17][30] w[17][31] w[17][32] w[17][33] w[18][0] w[18][1] w[18][2] w[18][3] w[18][4] w[18][5] w[18][6] w[18][7] w[18][8] w[18][9] w[18][10] w[18][11] w[18][12] w[18][13] w[18][14] w[18][15] w[18][16] w[18][17] w[18][18] w[18][19] w[18][20] w[18][21] w[18][22] w[18][23] w[18][24] w[18][25] w[18][26] w[18][27] w[18][28] w[18][29] w[18][30] w[18][31] w[18][32] w[18][33] w[19][0] w[19][1] w[19][2] w[19][3] w[19][4] w[19][5] w[19][6] w[19][7] w[19][8] w[19][9] w[19][10] w[19][11] w[19][12] w[19][13] w[19][14] w[19][15] w[19][16] w[19][17] w[19][18] w[19][19] w[19][20] w[19][21] w[19][22] w[19][23] w[19][24] w[19][25] w[19][26] w[19][27] w[19][28] w[19][29] w[19][30] w[19][31] w[19][32] w[19][33] w[20][0] w[20][1] w[20][2] w[20][3] w[20][4] w[20][5] w[20][6] w[20][7] w[20][8] w[20][9] w[20][10] w[20][11] w[20][12] w[20][13] w[20][14] w[20][15] w[20][16] w[20][17] w[20][18] w[20][19] w[20][20] w[20][21] w[20][22] w[20][23] w[20][24] w[20][25] w[20][26] w[20][27] w[20][28] w[20][29] w[20][30] w[20][31] w[20][32] w[20][33] w[21][0] w[21][1] w[21][2] w[21][3] w[21][4] w[21][5] w[21][6] w[21][7] w[21][8] w[21][9] w[21][10] w[21][11] w[21][12] w[21][13] w[21][14] w[21][15] w[21][16] w[21][17] w[21][18] w[21][19] w[21][20] w[21][21] w[21][22] w[21][23] w[21][24] w[21][25] w[21][26] w[21][27] w[21][28] w[21][29] w[21][30] w[21][31] w[21][32] w[21][33] w[22][0] w[22][1] w[22][2] w[22][3] w[22][4] w[22][5] w[22][6] w[22][7] w[22][8] w[22][9] w[22][10] w[22][11] w[22][12] w[22][13] w[22][14] w[22][15] w[22][16] w[22][17] w[22][18] w[22][19] w[22][20] w[22][21] w[22][22] w[22][23] w[22][24] w[22][25] w[22][26] w[22][27] w[22][28] w[22][29] w[22][30] w[22][31] w[22][32] w[22][33] w[23][0] w[23][1] w[23][2] w[23][3] w[23][4] w[23][5] w[23][6] w[23][7] w[23][8] w[23][9] w[23][10] w[23][11] w[23][12] w[23][13] w[23][14] w[23][15] w[23][16] w[23][17] w[23][18] w[23][19] w[23][20] w[23][21] w[23][22] w[23][23] w[23][24] w[23][25] w[23][26] w[23][27] w[23][28] w[23][29] w[23][30] w[23][31] w[23][32] w[23][33] w[24][0] w[24][1] w[24][2] w[24][3] w[24][4] w[24][5] w[24][6] w[24][7] w[24][8] w[24][9] w[24][10] w[24][11] w[24][12] w[24][13] w[24][14] w[24][15] w[24][16] w[24][17] w[24][18] w[24][19] w[24][20] w[24][21] w[24][22] w[24][23] w[24][24] w[24][25] w[24][26] w[24][27] w[24][28] w[24][29] w[24][30] w[24][31] w[24][32] w[24][33] w[25][0] w[25][1] w[25][2] w[25][3] w[25][4] w[25][5] w[25][6] w[25][7] w[25][8] w[25][9] w[25][10] w[25][11] w[25][12] w[25][13] w[25][14] w[25][15] w[25][16] w[25][17] w[25][18] w[25][19] w[25][20] w[25][21] w[25][22] w[25][23] w[25][24] w[25][25] w[25][26] w[25][27] w[25][28] w[25][29] w[25][30] w[25][31] w[25][32] w[25][33] w[26][0] w[26][1] w[26][2] w[26][3] w[26][4] w[26][5] w[26][6] w[26][7] w[26][8] w[26][9] w[26][10] w[26][11] w[26][12] w[26][13] w[26][14] w[26][15] w[26][16] w[26][17] w[26][18] w[26][19] w[26][20] w[26][21] w[26][22] w[26][23] w[26][24] w[26][25] w[26][26] w[26][27] w[26][28] w[26][29] w[26][30] w[26][31] w[26][32] w[26][33] w[27][0] w[27][1] w[27][2] w[27][3] w[27][4] w[27][5] w[27][6] w[27][7] w[27][8] w[27][9] w[27][10] w[27][11] w[27][12] w[27][13] w[27][14] w[27][15] w[27][16] w[27][17] w[27][18] w[27][19] w[27][20] w[27][21] w[27][22] w[27][23] w[27][24] w[27][25] w[27][26] w[27][27] w[27][28] w[27][29] w[27][30] w[27][31] w[27][32] w[27][33] w[28][0] w[28][1] w[28][2] w[28][3] w[28][4] w[28][5] w[28][6] w[28][7] w[28][8] w[28][9] w[28][10] w[28][11] w[28][12] w[28][13] w[28][14] w[28][15] w[28][16] w[28][17] w[28][18] w[28][19] w[28][20] w[28][21] w[28][22] w[28][23] w[28][24] w[28][25] w[28][26] w[28][27] w[28][28] w[28][29] w[28][30] w[28][31] w[28][32] w[28][33] w[29][0] w[29][1] w[29][2] w[29][3] w[29][4] w[29][5] w[29][6] w[29][7] w[29][8] w[29][9] w[29][10] w[29][11] w[29][12] w[29][13] w[29][14] w[29][15] w[29][16] w[29][17] w[29][18] w[29][19] w[29][20] w[29][21] w[29][22] w[29][23] w[29][24] w[29][25] w[29][26] w[29][27] w[29][28] w[29][29] w[29][30] w[29][31] w[29][32] w[29][33] w[30][0] w[30][1] w[30][2] w[30][3] w[30][4] w[30][5] w[30][6] w[30][7] w[30][8] w[30][9] w[30][10] w[30][11] w[30][12] w[30][13] w[30][14] w[30][15] w[30][16] w[30][17] w[30][18] w[30][19] w[30][20] w[30][21] w[30][22] w[30][23] w[30][24] w[30][25] w[30][26] w[30][27] w[30][28] w[30][29] w[30][30] w[30][31] w[30][32] w[30][33] w[31][0] w[31][1] w[31][2] w[31][3] w[31][4] w[31][5] w[31][6] w[31][7] w[31][8] w[31][9] w[31][10] w[31][11] w[31][12] w[31][13] w[31][14] w[31][15] w[31][16] w[31][17] w[31][18] w[31][19] w[31][20] w[31][21] w[31][22] w[31][23] w[31][24] w[31][25] w[31][26] w[31][27] w[31][28] w[31][29] w[31][30] w[31][31] w[31][32] w[31][33] w[32][0] w[32][1] w[32][2] w[32][3] w[32][4] w[32][5] w[32][6] w[32][7] w[32][8] w[32][9] w[32][10] w[32][11] w[32][12] w[32][13] w[32][14] w[32][15] w[32][16] w[32][17] w[32][18] w[32][19] w[32][20] w[32][21] w[32][22] w[32][23] w[32][24] w[32][25] w[32][26] w[32][27] w[32][28] w[32][29] w[32][30] w[32][31] w[32][32] w[32][33] w[33][0] w[33][1] w[33][2] w[33][3] w[33][4] w[33][5] w[33][6] w[33][7] w[33][8] w[33][9] w[33][10] w[33][11] w[33][12] w[33][13] w[33][14] w[33][15] w[33][16] w[33][17] w[33][18] w[33][19] w[33][20] w[33][21] w[33][22] w[33][23] w[33][24] w[33][25] w[33][26] w[33][27] w[33][28] w[33][29] w[33][30] w[33][31] w[33][32] w[33][33] ws[0] ws[1] ws[2] ws[3] ws[4] ws[5] ws[6] ws[7] ws[8] ws[9] ws[10] ws[11] ws[12] ws[13] ws[14] ws[15] ws[16] ws[17] ws[18] ws[19] ws[20] ws[21] ws[22] ws[23] ws[24] ws[25] ws[26] ws[27] ws[28] ws[29] ws[30] ws[31] ws[32] ws[33] z
252.07/219.31	v       </list>
252.07/219.31	v       <values>
252.07/219.31	v         0 0 0 0 0 0 0 0 0 0 0 0 0 0 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 1 1 0 0 0 0 0 0 1 0 0 1 0 1 0 1 1 0 1 1 0 0 0 0 0 0 1 0 0 1 0 0 0 1 0 0 1 0 0 1 0 0 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 0 0 1 0 1 1 0 0 1 0 1 0 1 1 1 1 1 1 0 0 0 0 1 0 0 0 1 0 1 0 1 1 0 0 1 1 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 0 1 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 1 1 1 0 1 0 1 1 1 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 1 1 0 1 1 0 1 0 0 0 0 1 0 0 0 1 1 0 1 0 1 1 0 0 0 0 1 0 1 0 1 1 1 0 0 0 0 0 0 0 0 1 1 1 0 1 0 1 0 0 0 1 1 0 1 0 0 0 0 1 0 0 1 0 1 0 0 0 1 1 1 1 1 1 1 0 0 0 1 0 0 1 1 1 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 1 0 0 1 1 0 0 0 1 1 1 0 1 1 0 0 1 1 0 0 1 1 1 1 0 1 0 0 1 1 0 0 1 0 0 1 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 1 1 0 0 1 0 1 0 0 0 1 0 1 0 1 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 1 1 1 0 0 0 0 1 0 1 1 1 1 0 0 1 0 1 1 0 0 1 0 0 1 1 0 1 0 1 1 1 1 1 0 0 1 0 1 1 1 1 0 0 0 0 1 0 1 1 0 1 0 0 0 0 1 0 0 0 0 1 0 0 0 0 0 0 1 0 1 0 1 0 0 0 0 1 1 0 1 0 1 0 0 1 0 0 0 1 1 0 1 1 0 1 0 1 1 1 0 0 1 0 1 0 1 0 1 1 1 0 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 0 1 0 1 0 1 0 1 1 0 0 0 1 0 0 1 0 1 1 0 1 0 1 0 1 0 0 0 0 0 1 0 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 1 1 1 0 0 1 0 1 0 1 0 1 0 1 1 1 1 0 0 1 1 1 0 1 0 1 1 0 0 1 0 0 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 1 0 0 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 1 1 0 1 0 1 1 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 1 0 1 0 0 1 1 0 0 0 1 0 0 0 1 0 1 0 0 1 0 1 1 1 0 0 0 0 0 1 0 1 0 0 1 0 1 1 0 1 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 1 0 1 0 0 0 1 1 0 1 0 1 0 1 0 0 0 1 0 0 0 0 0 0 1 0 1 1 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 1 0 0 0 0 1 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 0 0 1 1 0 0 1 1 0 0 1 0 1 0 1 0 1 0 0 0 0 1 0 1 0 0 1 0 0 0 0 1 0 0 1 1 0 1 1 1 0 0 1 0 1 0 1 0 0 1 0 1 0 0 1 1 0 1 1 0 1 1 0 0 0 0 1 0 1 0 0 0 0 0 1 1 0 1 0 0 1 1 1 0 0 1 0 0 0 1 0 1 0 0 1 0 0 0 0 1 1 0 1 0 0 0 0 1 0 0 0 1 0 1 0 0 0 0 0 1 0 1 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 1 0 0 0 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 0 0 1 1 0 1 1 0 0 0 0 0 1 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 1 0 0 0 1 1 0 1 1 1 1 1 1 1 0 1 1 0 1 1 1 1 1 1 1 1 0 0 0 0 0 1 1 0 1 1 0 0 1 1 0 1 0 0 1 0 0 1 1 0 1 1 0 1 0 0 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 1 1 1 1 1 0 0 1 1 1 1 1 1 0 1 1 0 1 0 1 0 0 1 0 0 1 1 0 1 2 2 0 1 1 0 2 2 2 0 1 1 0 2 2 1 2 1 1 0 0 1 0 1 0 0 0 0 0 1 1 1 1 1 2 1 1 0 0 0 1 2 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 1 1 0 0 0 1 0 1 1 1 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 1 1 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 1 2 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 0 1 0 1 0 1 0 0 0 0 0 0 0 0 1 1 0 0 0 0 1 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 1 0 0 2 0 0 0 1 0 0 0 0 0 1 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 1 1 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 0 0 1 0 0 2 0 2 1 0 0 1 0 0 1 1 0 0 0 0 0 0 0 1 0 0 0 0 0 1 0 0 0 0 2 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 1 1 0 0 1 0 0 1 0 1 0 0 0 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 1 0 0 0 0 0 1 0 0 0 0 0 1 0 1 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 2 1 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 1 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 0 1 1 1 1 1 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 0 0 0 1 0 1 0 0 0 1 1 2 0 1 0 0 0 0 0 0 1 0 0 0 0 0 2 2 0 1 0 1 0 0 1 0 1 0 0 0 1 0 0 0 1 1 0 0 1 0 0 0 0 0 0 0 0 1 0 0 0 2 2 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 1 1 0 1 0 1 0 0 0 0 0 0 0 0 0 0 2 0 2 0 1 0 0 1 0 1 0 0 0 0 1 0 0 1 1 2 1 0 1 0 0 0 0 0 0 0 1 0 0 1 0 1 0 1 0 1 2 0 0 0 0 0 0 1 0 0 0 0 1 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 2 2 1 0 1 0 0 0 1 0 0 1 1 1 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 1 0 2 2 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 1 0 0 0 0 0 0 0 0 1 0 0 0 0 0 0 1 1 1 0 0 0 0 0 0 0 0 0 1 2 0 0 0 0 0 2 1 1 0 0 1 0 0 0 0 0 0 1 0 1 0 1 1 0 0 0 0 0 1 0 0 1 1 1 0 0 0 0 0 1 2 1 1 0 0 0 0 0 0 0 0 0 1 0 0 0 1 0 1 1 0 0 0 0 0 1 1 1 1 0 0 0 0 1 0 2 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 1 0 0 0 1 0 1 2 1 1 1 0 1 0 1 1 2 0 0 1 0 1 0 0 0 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 1 2 2 2 0 0 0 0 0 2 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 2 2 1 1 0 0 0 1 1 1 0 0 0 1 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 1 0 0 1 1 1 0 0 1 0 0 1 1 0 0 1 0 1 1 0 1 1 0 0 1 0 0 1 0 1 1 0 1 1 0 0 21 51 61 72 79 84 87 97 104 111 120 132 136 138 147 154 158 164 169 177 191 202 215 228 242 253 261 275 287 297 317 327 339 356 455
252.07/219.31	v       </values>
252.07/219.31	v     </instantiation>
252.07/219.31	s SATISFIABLE

Verifier Data 

OK	455

Watcher Data 

runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (15151 MiB free)
  memory of node 1: 16384 MiB (12961 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4259815-1502644204/watcher-4259815-1502644204 -o /tmp/evaluation-result-4259815-1502644204/solver-4259815-1502644204 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312 bin/concrete HOME/instance-4259815-1502644204.xml 

running on 4 cores: 0,2,4,6

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 252 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 282 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 252 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=27580, runsolver pid=27577
Current StackSize limit: 8192 KiB


[startup+0.1002 s]*
/proc/loadavg: 1.99 1.89 1.89 3/209 27618
/proc/meminfo: memFree=28778236/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=9636 memory=1512 CPUtime=0.01 cores=0,2,4,6
/proc/27580/stat : 27580 (bash) S 27577 27580 8289 0 -1 4202496 895 6478 0 0 0 0 0 1 20 0 1 0 112235604 9867264 378 18446744073709551615 4194304 5098028 140731099312608 140731099306616 140155672554496 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 5 0 0 7196144 7232144 24743936 140731099316724 140731099316809 140731099316809 140731099320298 0
/proc/27580/statm: 2409 378 297 221 0 118 0
[pid=27610] ppid=27580 vsize=9636 memory=708 CPUtime=0 cores=0,2,4,6
/proc/27610/stat : 27610 (bash) S 27580 27580 8289 0 -1 4202560 157 0 0 0 0 0 0 0 20 0 1 0 112235611 9867264 177 18446744073709551615 4194304 5098028 140731099312608 140731099305288 140155672380028 0 65536 1 65538 18446744071579417331 0 0 17 0 0 0 0 0 0 7196144 7232144 24743936 140731099316724 140731099316809 140731099316809 140731099320298 0
/proc/27610/statm: 2409 177 96 221 0 118 0
[pid=27611] ppid=27610 vsize=10152492 memory=19128 CPUtime=0.02 cores=0,2,4,6
/proc/27611/stat : 27611 (java) S 27610 27580 8289 0 -1 1077944320 4113 0 0 0 2 0 0 0 20 0 9 0 112235611 10396151808 4716 18446744073709551615 4194304 4196468 140724709657024 140724709639568 140547338247927 0 0 1 16784584 18446744073709551615 0 0 17 0 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
/proc/27611/statm: 2538123 4716 2096 1 0 2527620 0
[pid=27611/tid=27613] ppid=27610 vsize=10152492 memory=8326441112148417179 CPUtime=0.02 cores=0,2,4,6
/proc/27611/task/27613/stat : 27613 (java) R 27610 27580 8289 0 -1 4202560 2778 0 0 0 2 0 0 0 20 0 9 0 112235611 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140547342483688 140547322328414 0 4 1 16784584 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27614] ppid=27610 vsize=10152492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27614/stat : 27614 (java) S 27610 27580 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112235612 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140547303529232 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27615] ppid=27610 vsize=10152492 memory=140309133440640 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27615/stat : 27615 (java) S 27610 27580 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112235612 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546948201360 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27616] ppid=27610 vsize=10152492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27616/stat : 27616 (java) S 27610 27580 8289 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 9 0 112235612 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546947148816 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27617] ppid=27610 vsize=10152492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27617/stat : 27617 (java) S 27610 27580 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112235612 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546946096272 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27618] ppid=27610 vsize=10152492 memory=140309133440640 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27618/stat : 27618 (java) S 27610 27580 8289 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 9 0 112235613 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546901788656 140547338259074 0 0 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27619] ppid=27610 vsize=10152492 memory=-1 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27619/stat : 27619 (java) S 27610 27580 8289 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 9 0 112235614 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546900734880 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27611/tid=27620] ppid=27610 vsize=10152492 memory=0 CPUtime=0 cores=0,2,4,6
/proc/27611/task/27620/stat : 27620 (java) S 27610 27580 8289 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 9 0 112235614 10396151808 4782 18446744073709551615 4194304 4196468 140724709657024 140546832065584 140547338258133 0 4 1 16784584 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 20115456 140724709659224 140724709659238 140724709659238 140724709662671 0
[pid=27612] ppid=27610 vsize=9872 memory=968 CPUtime=0 cores=0,2,4,6
/proc/27612/stat : 27612 (awk) S 27610 27580 8289 0 -1 4202496 391 0 0 0 0 0 0 0 20 0 1 0 112235611 10108928 242 18446744073709551615 4194304 4609284 140727657225392 140727657224568 140504071957504 0 0 1 1216 18446744071580971376 0 0 17 0 0 0 0 0 0 6708720 6711756 31727616 140727657226880 140727657226910 140727657226910 140727657230315 0
/proc/27612/statm: 2468 242 202 102 0 88 0
Current children cumulated CPU time: 0.03 s
Current children cumulated vsize: 10181636 KiB
Current children cumulated memory: 22316 KiB

[startup+0.212327 s]*
/proc/loadavg: 1.99 1.89 1.89 3/208 27637
/proc/meminfo: memFree=28779204/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=13574488 memory=19040 CPUtime=0.13 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 5050 12768 0 0 4 1 5 3 20 0 9 0 112235604 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800970 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3393622 4760 2138 1 0 3383119 0
[pid=27580/tid=27630] ppid=27577 vsize=13574488 memory=7077796292425249400 CPUtime=0.12 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 2837 12768 0 0 4 0 5 3 20 0 9 0 112235621 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139783536660344 139783525102965 0 4 1 16800970 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 9 0 112235621 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=13574488 memory=140309133440640 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 9 0 112235621 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 1 12768 0 0 0 0 5 3 20 0 9 0 112235621 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 9 0 112235622 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=13574488 memory=140309133440640 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 9 0 112235623 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=13574488 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 33 12768 0 0 0 0 5 3 20 0 9 0 112235623 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139782448150048 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=13574488 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 21 12768 0 0 0 0 5 3 20 0 9 0 112235624 13900275712 4760 18446744073709551615 4194304 4196468 140723780866384 139782447097200 139783532435157 0 4 1 16800970 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 0.13 s
Current children cumulated vsize: 13574488 KiB
Current children cumulated memory: 19040 KiB

[startup+0.310102 s]*
/proc/loadavg: 1.99 1.89 1.89 3/214 27643
/proc/meminfo: memFree=28768484/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=13974356 memory=38688 CPUtime=0.26 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 7945 12768 0 0 17 1 5 3 20 0 15 0 112235604 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3493589 9672 2938 1 0 3482965 0
[pid=27580/tid=27630] ppid=27577 vsize=13974356 memory=-8774313645642428999 CPUtime=0.19 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 4465 12768 0 0 10 1 5 3 20 0 15 0 112235621 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139783536618360 139783493385628 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=13974356 memory=140308998365391 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235621 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=13974356 memory=140309133440640 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235621 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=13974356 memory=2241 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 1 12768 0 0 0 0 5 3 20 0 15 0 112235621 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235622 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=13974356 memory=140309133440640 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235623 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 33 12768 0 0 0 0 5 3 20 0 15 0 112235623 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782448150048 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=13974356 memory=2273 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 21 12768 0 0 0 0 5 3 20 0 15 0 112235624 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782447097200 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=13974356 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=13974356 memory=0 CPUtime=0.09 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 611 12768 0 0 1 0 5 3 20 0 15 0 112235626 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 163 12768 0 0 0 0 5 3 20 0 15 0 112235626 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=13974356 memory=-1 CPUtime=0.11 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) R 27577 27580 8289 0 -1 4202560 485 12768 0 0 3 0 5 3 20 0 15 0 112235626 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532446298 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=13974356 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=13974356 memory=140309133440640 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1 12768 0 0 0 0 5 3 20 0 15 0 112235629 14309740544 9672 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 13974356 KiB
Current children cumulated memory: 38688 KiB

[startup+0.700754 s]
/proc/loadavg: 1.99 1.89 1.89 3/214 27643
/proc/meminfo: memFree=28747452/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=13974784 memory=59924 CPUtime=0.76 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 14079 12768 0 0 64 4 5 3 20 0 15 0 112235604 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3493696 14981 3110 1 0 3482965 0
[pid=27580/tid=27630] ppid=27577 vsize=13974784 memory=0 CPUtime=0.57 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 10447 12768 0 0 46 3 5 3 20 0 15 0 112235621 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139783536631568 139783516505438 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235621 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235621 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 1 12768 0 0 0 0 5 3 20 0 15 0 112235621 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 2 12768 0 0 0 0 5 3 20 0 15 0 112235622 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=13974784 memory=170 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 5 12768 0 0 0 0 5 3 20 0 15 0 112235623 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=13974784 memory=1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 33 12768 0 0 0 0 5 3 20 0 15 0 112235623 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782448150048 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 21 12768 0 0 0 0 5 3 20 0 15 0 112235624 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782447097200 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=13974784 memory=26 CPUtime=0.11 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 640 12768 0 0 3 0 5 3 20 0 15 0 112235626 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=13974784 memory=52852 CPUtime=0.11 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 225 12768 0 0 3 0 5 3 20 0 15 0 112235626 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=13974784 memory=-8774313645642428999 CPUtime=0.18 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 544 12768 0 0 10 0 5 3 20 0 15 0 112235626 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=13974784 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1 12768 0 0 0 0 5 3 20 0 15 0 112235629 14310178816 14981 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 0.76 s
Current children cumulated vsize: 13974784 KiB
Current children cumulated memory: 59924 KiB

[startup+1.50069 s]
/proc/loadavg: 1.99 1.89 1.89 3/214 27643
/proc/meminfo: memFree=28699872/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=13985408 memory=173296 CPUtime=2.02 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 29570 12768 0 0 184 10 5 3 20 0 15 0 112235604 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3496352 43324 3373 1 0 3485525 0
[pid=27580/tid=27630] ppid=27577 vsize=13985408 memory=1620 CPUtime=1.33 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 22242 12768 0 0 120 5 5 3 20 0 15 0 112235621 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139783536652256 139783532436886 0 4 1 16800974 0 0 0 -1 4 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=13985408 memory=140309133439553 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 58 12768 0 0 0 0 5 3 20 0 15 0 112235621 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=13985408 memory=4137280412607091059 CPUtime=0.09 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 60 12768 0 0 1 0 5 3 20 0 15 0 112235621 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=13985408 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 44 12768 0 0 1 0 5 3 20 0 15 0 112235621 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 188 12768 0 0 0 0 5 3 20 0 15 0 112235622 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=13985408 memory=8 CPUtime=0.09 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 1454 12768 0 0 1 0 5 3 20 0 15 0 112235623 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 56 12768 0 0 0 0 5 3 20 0 15 0 112235623 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782448150048 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=13985408 memory=8 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 43 12768 0 0 0 0 5 3 20 0 15 0 112235624 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782447097200 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=13985408 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=13985408 memory=0 CPUtime=0.21 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) R 27577 27580 8289 0 -1 4202560 1057 12768 0 0 13 0 5 3 20 0 15 0 112235626 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782444979696 139783513969616 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=13985408 memory=-6662747570986533011 CPUtime=0.26 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 817 12768 0 0 18 0 5 3 20 0 15 0 112235626 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=13985408 memory=5937503940876058721 CPUtime=0.32 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 1386 12768 0 0 24 0 5 3 20 0 15 0 112235626 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=13985408 memory=5793976784993140832 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14321057792 43324 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=13985408 memory=7666631141572832339 CPUtime=0.08 cores=0,2,4,6

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

/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 64231 12768 0 0 4968 26 5 3 20 0 15 0 112235621 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139783536659096 139783171118604 0 4 1 16800974 0 0 0 -1 2 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=14071612 memory=330 CPUtime=0.76 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 1639 12768 0 0 57 11 5 3 20 0 15 0 112235621 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=14071612 memory=288370685285152384 CPUtime=0.75 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 670 12768 0 0 57 10 5 3 20 0 15 0 112235621 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=14071612 memory=0 CPUtime=0.74 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 1758 12768 0 0 56 10 5 3 20 0 15 0 112235621 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=14071612 memory=-1 CPUtime=0.78 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 1690 12768 0 0 59 11 5 3 20 0 15 0 112235622 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=14071612 memory=140309133440640 CPUtime=0.26 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 8335 12768 0 0 18 0 5 3 20 0 15 0 112235623 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=14071612 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 68 12768 0 0 0 0 5 3 20 0 15 0 112235623 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782448150176 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=14071612 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 54 12768 0 0 0 0 5 3 20 0 15 0 112235624 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782447097216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=14071612 memory=0 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=14071612 memory=0 CPUtime=9.36 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 20617 12768 0 0 925 3 5 3 20 0 15 0 112235626 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=14071612 memory=-1 CPUtime=9.48 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 20407 12768 0 0 936 4 5 3 20 0 15 0 112235626 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=14071612 memory=140309133440640 CPUtime=3.18 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 17142 12768 0 0 305 5 5 3 20 0 15 0 112235626 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=14071612 memory=-1 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=14071612 memory=140309133440640 CPUtime=0.09 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1285 12768 0 0 0 1 5 3 20 0 15 0 112235629 14409330688 377954 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 74.82 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 1511816 KiB

[startup+102.301 s]
/proc/loadavg: 2.17 2.04 1.95 3/214 27774
/proc/meminfo: memFree=25131544/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=14071612 memory=2085376 CPUtime=129.5 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 145056 12768 0 0 12820 122 5 3 20 0 15 0 112235604 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3517903 521344 3493 1 0 3506517 0
[pid=27580/tid=27630] ppid=27577 vsize=14071612 memory=288230613264375599 CPUtime=100.93 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 67728 12768 0 0 10053 32 5 3 20 0 15 0 112235621 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139783536656080 139783151097815 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=14071612 memory=3689628077790614276 CPUtime=1.01 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 1767 12768 0 0 75 18 5 3 20 0 15 0 112235621 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=14071612 memory=91 CPUtime=1.02 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 796 12768 0 0 76 18 5 3 20 0 15 0 112235621 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=14071612 memory=94 CPUtime=1 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 1875 12768 0 0 75 17 5 3 20 0 15 0 112235621 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=14071612 memory=140308999162850 CPUtime=1.03 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 1816 12768 0 0 77 18 5 3 20 0 15 0 112235622 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=14071612 memory=140308999165187 CPUtime=0.29 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 8628 12768 0 0 20 1 5 3 20 0 15 0 112235623 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=14071612 memory=280617998277200 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 68 12768 0 0 0 0 5 3 20 0 15 0 112235623 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782448150176 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=14071612 memory=280617997400840 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 54 12768 0 0 0 0 5 3 20 0 15 0 112235624 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782447097216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=14071612 memory=280617998288688 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=14071612 memory=280617998297440 CPUtime=10.45 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 20673 12768 0 0 1033 4 5 3 20 0 15 0 112235626 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=14071612 memory=2110659606254884 CPUtime=10.65 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 20571 12768 0 0 1053 4 5 3 20 0 15 0 112235626 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=14071612 memory=280617998306944 CPUtime=3.61 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 17634 12768 0 0 348 5 5 3 20 0 15 0 112235626 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=14071612 memory=7649399371363399474 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=14071612 memory=-1 CPUtime=0.12 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1289 12768 0 0 2 2 5 3 20 0 15 0 112235629 14409330688 521344 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 129.5 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2085376 KiB

[startup+162.301 s]
/proc/loadavg: 1.96 2.00 1.95 3/214 27777
/proc/meminfo: memFree=25067588/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=14071612 memory=2135764 CPUtime=192.91 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 160578 12768 0 0 19133 150 5 3 20 0 15 0 112235604 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3517903 533941 3493 1 0 3506517 0
[pid=27580/tid=27630] ppid=27577 vsize=14071612 memory=15825482134324680 CPUtime=160.46 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 72370 12768 0 0 16005 33 5 3 20 0 15 0 112235621 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139783536655536 139783165291785 0 4 1 16800974 0 0 0 -1 6 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=14071612 memory=3760566399056244058 CPUtime=1.45 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 2911 12768 0 0 113 24 5 3 20 0 15 0 112235621 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=14071612 memory=7682744562830902035 CPUtime=1.45 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 1537 12768 0 0 114 23 5 3 20 0 15 0 112235621 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=14071612 memory=15257043330148002 CPUtime=1.44 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 2092 12768 0 0 113 23 5 3 20 0 15 0 112235621 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=14071612 memory=6944938067432061290 CPUtime=1.47 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 2050 12768 0 0 115 24 5 3 20 0 15 0 112235622 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=14071612 memory=7016671349533276567 CPUtime=0.31 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 8995 12768 0 0 22 1 5 3 20 0 15 0 112235623 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=14071612 memory=6944656592387989600 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 71 12768 0 0 0 0 5 3 20 0 15 0 112235623 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782448150176 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=14071612 memory=6944656575208382560 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 54 12768 0 0 0 0 5 3 20 0 15 0 112235624 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782447097216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=14071612 memory=-8253362762722141311 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=14071612 memory=7100839861465685612 CPUtime=11.25 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 22201 12768 0 0 1113 4 5 3 20 0 15 0 112235626 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=14071612 memory=6944656592387989600 CPUtime=11.44 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 23580 12768 0 0 1131 5 5 3 20 0 15 0 112235626 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=14071612 memory=6944656575208382560 CPUtime=4.09 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 21243 12768 0 0 395 6 5 3 20 0 15 0 112235626 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=14071612 memory=6655300316396806240 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=14071612 memory=288230574492221466 CPUtime=0.16 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1317 12768 0 0 4 4 5 3 20 0 15 0 112235629 14409330688 533941 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 192.91 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2135764 KiB



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+219.301 s]
/proc/loadavg: 1.81 1.95 1.94 3/213 27779
/proc/meminfo: memFree=24560236/32770624 swapFree=67108860/67108860
[pid=27580] ppid=27577 vsize=14071612 memory=2571316 CPUtime=252.07 cores=0,2,4,6
/proc/27580/stat : 27580 (java) S 27577 27580 8289 0 -1 1077944320 169407 12768 0 0 25003 196 5 3 20 0 15 0 112235604 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 140723780848928 139783532424951 0 0 1 16800974 18446744073709551615 0 0 17 0 0 0 5 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
/proc/27580/statm: 3517903 642829 3493 1 0 3506517 0
[pid=27580/tid=27630] ppid=27577 vsize=14071612 memory=844 CPUtime=217.03 cores=0,2,4,6
/proc/27580/task/27630/stat : 27630 (java) R 27577 27580 8289 0 -1 4202560 76622 12768 0 0 21657 38 5 3 20 0 15 0 112235621 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139783536656320 139783172307320 0 4 1 16800974 0 0 0 -1 0 0 0 2 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27631] ppid=27577 vsize=14071612 memory=18484 CPUtime=1.86 cores=0,2,4,6
/proc/27580/task/27631/stat : 27631 (java) S 27577 27580 8289 0 -1 1077944384 3373 12768 0 0 144 34 5 3 20 0 15 0 112235621 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139783474371216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27632] ppid=27577 vsize=14071612 memory=3912 CPUtime=1.87 cores=0,2,4,6
/proc/27580/task/27632/stat : 27632 (java) S 27577 27580 8289 0 -1 1077944384 1845 12768 0 0 146 33 5 3 20 0 15 0 112235621 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139783473318416 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27633] ppid=27577 vsize=14071612 memory=-8774313645642428999 CPUtime=1.86 cores=0,2,4,6
/proc/27580/task/27633/stat : 27633 (java) S 27577 27580 8289 0 -1 1077944384 3551 12768 0 0 145 33 5 3 20 0 15 0 112235621 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139783472265616 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27634] ppid=27577 vsize=14071612 memory=2164 CPUtime=1.89 cores=0,2,4,6
/proc/27580/task/27634/stat : 27634 (java) S 27577 27580 8289 0 -1 1077944384 2882 12768 0 0 147 34 5 3 20 0 15 0 112235622 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139783471212816 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27635] ppid=27577 vsize=14071612 memory=1724 CPUtime=0.32 cores=0,2,4,6
/proc/27580/task/27635/stat : 27635 (java) S 27577 27580 8289 0 -1 1077944384 9554 12768 0 0 23 1 5 3 20 0 15 0 112235623 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782449204080 139783532436098 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27636] ppid=27577 vsize=14071612 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27636/stat : 27636 (java) S 27577 27580 8289 0 -1 1077944384 71 12768 0 0 0 0 5 3 20 0 15 0 112235623 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782448150176 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27637] ppid=27577 vsize=14071612 memory=2592848 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27637/stat : 27637 (java) S 27577 27580 8289 0 -1 1077944384 54 12768 0 0 0 0 5 3 20 0 15 0 112235624 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782447097216 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27638] ppid=27577 vsize=14071612 memory=2612348 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27638/stat : 27638 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782446045520 139783532443547 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27639] ppid=27577 vsize=14071612 memory=4168 CPUtime=11.57 cores=0,2,4,6
/proc/27580/task/27639/stat : 27639 (java) S 27577 27580 8289 0 -1 1077944384 22486 12768 0 0 1145 4 5 3 20 0 15 0 112235626 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782444992880 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27640] ppid=27577 vsize=14071612 memory=54332 CPUtime=11.76 cores=0,2,4,6
/proc/27580/task/27640/stat : 27640 (java) S 27577 27580 8289 0 -1 1077944384 23610 12768 0 0 1163 5 5 3 20 0 15 0 112235626 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782443940080 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27641] ppid=27577 vsize=14071612 memory=1296 CPUtime=4.35 cores=0,2,4,6
/proc/27580/task/27641/stat : 27641 (java) S 27577 27580 8289 0 -1 1077944384 21864 12768 0 0 420 7 5 3 20 0 15 0 112235626 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782442887280 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27642] ppid=27577 vsize=14071612 memory=792 CPUtime=0.08 cores=0,2,4,6
/proc/27580/task/27642/stat : 27642 (java) S 27577 27580 8289 0 -1 1077944384 3 12768 0 0 0 0 5 3 20 0 15 0 112235626 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782441834720 139783532435157 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
[pid=27580/tid=27643] ppid=27577 vsize=14071612 memory=1716 CPUtime=0.19 cores=0,2,4,6
/proc/27580/task/27643/stat : 27643 (java) S 27577 27580 8289 0 -1 1077944384 1338 12768 0 0 6 5 5 3 20 0 15 0 112235629 14409330688 642829 18446744073709551615 4194304 4196468 140723780866384 139782440783024 139783532436098 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 23183360 140723780872112 140723780874897 140723780874897 140723780878287 0
Current children cumulated CPU time: 252.07 s
Current children cumulated vsize: 14071612 KiB
Current children cumulated memory: 2571316 KiB

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

[startup+219.356 s]
# the end of solver process 27580 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=250.137 s, system=2.0239 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 219.356
CPU time (s): 252.161
CPU user time (s): 250.137
CPU system time (s): 2.0239
CPU usage (%): 114.955
Max. virtual memory (cumulated for all children) (KiB): 14071612
Max. memory (cumulated for all children) (KiB): 2644660

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 250.137
system time used= 2.02389
maximum resident set size= 2650804
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 189229
page faults= 0
swaps= 0
block input operations= 0
block output operations= 464
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 23349
involuntary context switches= 631


# summary of solver processes directly reported to runsolver:
#   pid: 27580
#   total CPU time (s): 252.161
#   total CPU user time (s): 250.137
#   total CPU system time (s): 2.0239

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.42798 second user time and 2.05076 second system time

The end

Launcher Data 

Begin job on node133 at 2017-08-13 18:55:56
IDJOB=4259815
IDBENCH=115918
IDSOLVER=2646
FILE ID=node133/4259815-1502644204
RUNJOBID= node133-1502641620-25473
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/StillLife/StillLife-wst-s1/StillLife-wastage-32.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4259815-1502644204/watcher-4259815-1502644204 -o /tmp/evaluation-result-4259815-1502644204/solver-4259815-1502644204 -C 252 -W 252 -M 15500 --bin-var /tmp/runsolver-exch-node133-1502641620-25473 --watchdog 312  bin/concrete HOME/instance-4259815-1502644204.xml

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

MD5SUM BENCH= 3de3ac871f1e1c584be6c245f66daf9e
RANDOM SEED=668071259

node133.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.17
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.17
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.17
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.17
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:        28788768 kB
MemAvailable:   29425176 kB
Buffers:          236408 kB
Cached:           695348 kB
SwapCached:            0 kB
Active:          3344832 kB
Inactive:         183348 kB
Active(anon):    2537488 kB
Inactive(anon):   100820 kB
Active(file):     807344 kB
Inactive(file):    82528 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24588 kB
Writeback:             0 kB
AnonPages:       2633180 kB
Mapped:            69700 kB
Shmem:             41660 kB
Slab:             152204 kB
SReclaimable:     124744 kB
SUnreclaim:        27460 kB
KernelStack:        3472 kB
PageTables:        10012 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    3457676 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   2390016 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      132480 kB
DirectMap2M:    33413120 kB

Free space on /tmp at the end= 61980 MiB
End job on node133 at 2017-08-13 18:59:36