Trace number 4262764

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)4 2520.1299 2458.23

General information on the benchmark

NameRamsey/Ramsey-int-s1/
Ramsey-int-27.xml
MD5SUM1f968d7964fa1ced5b2605ed1734128f
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark3
Best CPU time to get the best result obtained on this benchmark2400.03
Satisfiable
(Un)Satisfiability was proved
Number of variables729
Number of constraints2925
Number of domains1
Minimum domain size351
Maximum domain size351
Distribution of domain sizes[{"size":351,"count":351}]
Minimum variable degree0
Maximum variable degree26
Distribution of variable degrees[{"degree":0,"count":378},{"degree":26,"count":351}]
Minimum constraint arity3
Maximum constraint arity3
Distribution of constraint arities[{"arity":3,"count":2925}]
Number of extensional constraints0
Number of intensional constraints2925
Distribution of constraint types[{"type":"intension","count":2925}]
Optimization problemYES
Type of objectivemin MAXIMUM

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.23	c Concrete v3.4 running
28.49/10.79	o 350
30.12/11.38	o 349
31.43/11.81	o 348
31.89/12.20	o 347
32.62/12.60	o 346
33.10/13.01	o 345
33.70/13.41	o 344
34.03/13.79	o 343
34.46/14.11	o 342
34.77/14.47	o 341
35.09/14.78	o 340
35.52/15.14	o 339
35.93/15.51	o 338
36.26/15.87	o 337
36.67/16.23	o 336
37.09/16.59	o 335
37.52/16.96	o 334
37.83/17.26	o 333
38.26/17.62	o 332
38.56/17.98	o 331
39.07/18.41	o 330
39.41/18.76	o 329
39.84/19.12	o 328
40.18/19.49	o 327
40.63/19.84	o 326
40.92/20.13	o 325
41.23/20.42	o 324
41.53/20.77	o 323
41.93/21.11	o 322
42.23/21.46	o 321
42.53/21.75	o 320
42.94/22.11	o 319
43.26/22.47	o 318
43.69/22.84	o 317
44.02/23.19	o 316
44.44/23.54	o 315
44.75/23.89	o 314
45.16/24.24	o 313
45.46/24.58	o 312
45.77/24.87	o 311
46.07/25.16	o 310
46.47/25.51	o 309
46.77/25.86	o 308
47.09/26.15	o 307
47.40/26.50	o 306
47.79/26.84	o 305
48.09/27.14	o 304
48.39/27.48	o 303
48.70/27.78	o 302
49.10/28.12	o 301
49.40/28.47	o 300
49.70/28.76	o 299
50.10/29.11	o 298
50.40/29.46	o 297
50.81/29.82	o 296
51.11/30.17	o 295
51.55/30.53	o 294
51.86/30.87	o 293
52.26/31.22	o 292
52.56/31.57	o 291
52.86/31.85	o 290
53.26/32.20	o 289
53.56/32.54	o 288
53.86/32.89	o 287
54.17/33.18	o 286
54.56/33.52	o 285
54.87/33.87	o 284
55.27/34.21	o 283
55.58/34.57	o 282
55.98/34.92	o 281
56.29/35.26	o 280
56.68/35.60	o 279
56.98/35.95	o 278
57.28/36.29	o 277
57.69/36.63	o 276
58.00/36.98	o 275
58.40/37.33	o 274
58.70/37.67	o 273
59.10/38.02	o 272
59.40/38.37	o 271
59.71/38.67	o 270
60.10/39.03	o 269
60.42/39.34	o 268
60.72/39.68	o 267
61.02/39.97	o 266
61.32/40.26	o 265
61.72/40.61	o 264
62.02/40.96	o 263
62.42/41.31	o 262
62.72/41.65	o 261
63.12/42.00	o 260
63.42/42.35	o 259
63.83/42.70	o 258
64.13/43.04	o 257
64.43/43.39	o 256
64.83/43.74	o 255
65.13/44.10	o 254
65.55/44.44	o 253
65.85/44.79	o 252
66.15/45.08	o 251
66.55/45.43	o 250
66.85/45.73	o 249
67.15/46.07	o 248
67.55/46.42	o 247
67.85/46.76	o 246
68.25/47.11	o 245
68.56/47.45	o 244
68.95/47.80	o 243
69.25/48.15	o 242
69.56/48.49	o 241
69.85/48.78	o 240
70.27/49.14	o 239
70.69/49.51	o 238
70.98/49.80	o 237
71.28/50.14	o 236
71.59/50.49	o 235
71.89/50.79	o 234
72.29/51.13	o 233
72.59/51.48	o 232
72.89/51.77	o 231
73.29/52.12	o 230
73.59/52.46	o 229
73.99/52.81	o 228
74.29/53.15	o 227
74.69/53.50	o 226
74.99/53.84	o 225
75.29/54.14	o 224
75.59/54.49	o 223
75.99/54.84	o 222
76.33/55.14	o 221
76.62/55.43	o 220
76.92/55.77	o 219
77.33/56.12	o 218
77.62/56.46	o 217
78.02/56.81	o 216
78.32/57.15	o 215
78.72/57.50	o 214
79.02/57.85	o 213
79.32/58.14	o 212
79.63/58.48	o 211
79.92/58.77	o 210
80.22/59.06	o 209
80.63/59.41	o 208
80.92/59.76	o 207
81.32/60.11	o 206
81.62/60.47	o 205
82.05/60.81	o 204
82.35/61.16	o 203
82.75/61.51	o 202
82.95/61.79	o 201
83.35/62.14	o 200
83.65/62.48	o 199
83.95/62.78	o 198
84.35/63.12	o 197
84.65/63.47	o 196
85.05/63.81	o 195
85.35/64.11	o 194
85.65/64.45	o 193
86.05/64.80	o 192
86.25/65.09	o 191
86.65/65.44	o 190
86.95/65.73	o 189
87.25/66.08	o 188
87.67/66.43	o 187
87.97/66.77	o 186
88.27/67.06	o 185
88.67/67.47	o 184
89.07/67.81	o 183
89.37/68.16	o 182
89.77/68.51	o 181
90.07/68.80	o 180
90.37/69.15	o 179
90.68/69.50	o 178
91.07/69.84	o 177
91.37/70.19	o 176
91.68/70.48	o 175
91.97/70.77	o 174
92.38/71.12	o 173
92.68/71.46	o 172
93.07/71.82	o 171
93.40/72.18	o 170
93.80/72.52	o 169
94.10/72.81	o 168
94.40/73.10	o 167
94.70/73.44	o 166
95.00/73.78	o 165
95.40/74.13	o 164
95.70/74.47	o 163
96.10/74.82	o 162
96.40/75.16	o 161
96.80/75.51	o 160
97.11/75.86	o 159
97.51/76.20	o 158
97.81/76.55	o 157
98.11/76.85	o 156
98.41/77.20	o 155
98.81/77.54	o 154
99.12/77.89	o 153
99.43/78.19	o 152
99.72/78.48	o 151
100.12/78.83	o 150
100.43/79.17	o 149
100.83/79.52	o 148
101.13/79.86	o 147
101.53/80.21	o 146
101.83/80.55	o 145
102.23/80.90	o 144
102.53/81.26	o 143
102.93/81.60	o 142
103.23/81.95	o 141
103.63/82.30	o 140
103.93/82.65	o 139
104.23/82.94	o 138
104.53/83.23	o 137
104.83/83.58	o 136
105.13/83.89	o 135
105.45/84.18	o 134
105.85/84.53	o 133
106.25/84.94	o 132
106.55/85.29	o 131
106.95/85.64	o 130
107.25/85.98	o 129
107.65/86.33	o 128
107.95/86.67	o 127
108.35/87.01	o 126
108.65/87.36	o 125
109.05/87.70	o 124
109.25/87.99	o 123
109.65/88.34	o 122
109.95/88.62	o 121
110.25/88.97	o 120
110.56/89.25	o 119
110.85/89.60	o 118
111.25/89.94	o 117
111.56/90.29	o 116
111.97/90.64	o 115
112.27/90.98	o 114
112.68/91.33	o 113
112.97/91.61	o 112
113.27/91.96	o 111
113.67/92.30	o 110
113.88/92.58	o 109
114.27/92.93	o 108
114.67/93.33	o 107
114.98/93.67	o 106
115.27/93.97	o 105
115.67/94.31	o 104
115.98/94.66	o 103
116.38/95.00	o 102
116.68/95.35	o 101
116.98/95.69	o 100
117.38/96.03	o 99
117.68/96.32	o 98
117.99/96.62	o 97
118.39/97.02	o 96
118.70/97.36	o 95
119.11/97.71	o 94
119.42/98.05	o 93
119.71/98.39	o 92
120.01/98.68	o 91
120.32/98.97	o 90
120.72/99.31	o 89
121.02/99.66	o 88
121.32/99.94	o 87
121.63/100.28	o 86
122.02/100.63	o 85
122.32/100.97	o 84
122.73/101.31	o 83
123.02/101.65	o 82
123.32/102.00	o 81
123.73/102.35	o 80
124.04/102.64	o 79
124.34/102.98	o 78
124.74/103.32	o 77
125.04/103.61	o 76
125.34/103.95	o 75
125.64/104.29	o 74
126.05/104.63	o 73
126.34/104.97	o 72
126.74/105.31	o 71
127.05/105.64	o 70
127.34/105.98	o 69
127.74/106.32	o 68
128.04/106.66	o 67
128.44/107.00	o 66
128.66/107.24	o 65
128.97/107.58	o 64
129.44/107.93	o 63
129.76/108.28	o 62
130.17/108.63	o 61
130.48/108.92	o 60
130.77/109.26	o 59
131.18/109.60	o 58
131.48/109.95	o 57
131.78/110.29	o 56
132.08/110.58	o 55
132.48/110.92	o 54
132.79/111.26	o 53
133.18/111.61	o 52
133.48/111.95	o 51
133.79/112.29	o 50
134.18/112.64	o 49
134.48/112.98	o 48
134.89/113.33	o 47
135.20/113.67	o 46
135.59/114.02	o 45
135.89/114.36	o 44
136.29/114.70	o 43
136.59/115.05	o 42
136.89/115.39	o 41
137.31/115.73	o 40
137.61/116.08	o 39
138.01/116.42	o 38
138.31/116.77	o 37
138.72/117.11	o 36
139.02/117.40	o 35
139.32/117.75	o 34
139.62/118.03	o 33
139.92/118.38	o 32
140.33/118.73	o 31
140.63/119.07	o 30
140.93/119.36	o 29
141.33/119.70	o 28
141.54/120.00	o 27
141.83/120.28	o 26
142.23/120.63	o 25
142.53/120.97	o 24
142.93/121.31	o 23
143.23/121.60	o 22
143.53/121.94	o 21
143.84/122.28	o 20
144.23/122.63	o 19
144.53/122.92	o 18
144.84/123.26	o 17
145.23/123.61	o 16
145.54/123.95	o 15
145.84/124.30	o 14
146.14/124.59	o 13
146.44/124.87	o 12
146.84/125.22	o 11
147.15/125.56	o 10
147.54/125.90	o 9
147.84/126.24	o 8
148.16/126.53	o 7
148.45/126.87	o 6
148.75/127.16	o 5
149.15/127.50	o 4
2520.07/2458.20	java.util.concurrent.TimeoutException
2520.07/2458.20		at concrete.MAC.mac(MAC.scala:74)
2520.07/2458.20		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2520.07/2458.20		at scala.util.Try$.apply(Try.scala:209)
2520.07/2458.20		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2520.07/2458.20		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2520.07/2458.20		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2520.07/2458.20		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2520.07/2458.20		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2520.07/2458.20		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2520.07/2458.20		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2520.07/2458.20		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2520.07/2458.20		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2520.07/2458.20		at concrete.MAC.oneRun(MAC.scala:146)
2520.07/2458.20		at concrete.MAC.nextSolution(MAC.scala:166)
2520.07/2458.20		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2520.07/2458.20		at concrete.ProblemState.map(ProblemState.scala:203)
2520.07/2458.20		at concrete.ProblemState.map(ProblemState.scala:188)
2520.07/2458.20		at concrete.MAC.nextSolution(MAC.scala:195)
2520.07/2458.20		at concrete.Solver.hasNext(Solver.scala:202)
2520.07/2458.20		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2520.07/2458.20		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2520.07/2458.20		at concrete.Solver.toStream(Solver.scala:73)
2520.07/2458.20		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2520.07/2458.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2520.07/2458.20		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2520.07/2458.20		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2520.07/2458.20		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2520.07/2458.20		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2520.07/2458.20		at scala.util.Success.map(Try.scala:209)
2520.07/2458.20		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2520.07/2458.20		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2520.07/2458.20		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2520.07/2458.20		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2520.07/2458.20		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2520.07/2458.20		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2520.07/2458.20		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2520.07/2458.20		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2520.07/2458.20		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2520.07/2458.20		at scala.collection.immutable.List.foreach(List.scala:389)
2520.07/2458.20		at scala.App.main(App.scala:76)
2520.07/2458.20		at scala.App.main$(App.scala:74)
2520.07/2458.20		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2520.07/2458.20		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2520.07/2458.21	v <instantiation cost="4">
2520.07/2458.21	v       <list>
2520.07/2458.21	v         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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[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[18][19] x[18][20] x[18][21] x[18][22] x[18][23] x[18][24] x[18][25] x[18][26] x[19][20] x[19][21] x[19][22] x[19][23] x[19][24] x[19][25] x[19][26] x[20][21] x[20][22] x[20][23] x[20][24] x[20][25] x[20][26] x[21][22] x[21][23] x[21][24] x[21][25] x[21][26] x[22][23] x[22][24] x[22][25] x[22][26] x[23][24] x[23][25] x[23][26] x[24][25] x[24][26] x[25][26]
2520.07/2458.21	v       </list>
2520.07/2458.21	v       <values>
2520.07/2458.21	v         3 1 2 3 3 4 2 2 4 2 1 4 3 4 0 3 2 1 2 1 4 4 1 4 4 2 4 3 1 4 1 2 3 4 2 3 0 2 4 4 1 1 3 3 1 2 3 3 4 4 3 2 4 1 4 2 3 2 2 0 4 2 2 3 3 1 4 4 4 1 3 2 3 2 3 3 4 4 1 0 3 0 4 2 3 1 3 3 3 1 1 4 1 2 1 3 4 4 4 2 4 3 1 2 4 3 2 3 4 2 4 3 3 2 1 2 3 4 4 3 3 3 4 3 4 0 2 4 2 3 1 0 1 4 2 4 4 3 3 3 2 4 2 1 4 3 3 4 3 1 4 3 3 2 0 2 1 4 2 2 3 4 4 3 3 2 3 4 2 2 3 3 4 4 4 2 0 1 1 3 1 3 4 2 3 1 2 2 3 1 1 1 1 2 2 4 3 1 3 4 3 4 3 2 2 4 3 2 0 2 0 1 1 0 3 4 4 0 4 3 3 1 2 3 4 3 3 1 4 4 1 2 0 2 0 1 1 4 4 3 3 2 2 3 3 2 2 1 4 1 4 2 1 3 3 3 4 3 3 4 1 4 1 2 1 3 3 3 3 1 4 4 2 2 4 2 4 2 3 3 3 4 3 3 4 1 1 3 4 3 4 4 1 2 2 2 4 3 4 3 4 1 3 4 3 2 4 3 4 3 3 2 2 2 0 2 0 4 4 2 3 4 2 2 0 2 4 3 4 4 2 4 2 2 2 3 2 3 1 1 3 4 2 2 4 4 1 0 0 4 3
2520.07/2458.21	v       </values>
2520.07/2458.21	v     </instantiation>
2520.07/2458.21	s SATISFIABLE

Verifier Data 

OK	4

Watcher Data 

runsolver Copyright (C) 2010-2013 Olivier ROUSSEL

This is runsolver version 3.3.7 (svn: 2553)

This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4262764-1502490593/watcher-4262764-1502490593 -o /tmp/evaluation-result-4262764-1502490593/solver-4262764-1502490593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580 bin/concrete HOME/instance-4262764-1502490593.xml 

pid=31025
running on 4 cores: 0,2,4,6

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


[startup+0 s]
/proc/loadavg: 1.59 1.55 1.52 2/195 31028
/proc/meminfo: memFree=30492740/32770624 swapFree=0/409124
[pid=31028] ppid=31025 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31028/stat : 31028 (runsolver) D 31025 31028 7434 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 37399976 24240128 108 18446744073709551615 4194304 4338465 140725636623888 140725636621528 140185058898647 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 15220736 140725636628689 140725636629065 140725636629065 140725636632522 0
/proc/31028/statm: 5918 108 54 36 0 2156 0

[startup+0.100092 s]
/proc/loadavg: 1.59 1.55 1.52 2/195 31028
/proc/meminfo: memFree=30492740/32770624 swapFree=0/409124
[pid=31028] ppid=31025 vsize=9508 CPUtime=0 cores=0,2,4,6
/proc/31028/stat : 31028 (bash) S 31025 31028 7434 0 -1 4202496 716 3530 0 0 0 0 0 0 20 0 1 0 37399976 9736192 355 18446744073709551615 4194304 5098028 140722386478416 140722386476056 140046293146624 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 7421952 140722386481684 140722386481769 140722386481769 140722386485226 0
/proc/31028/statm: 2377 355 282 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200277 s]
/proc/loadavg: 1.59 1.55 1.52 2/195 31028
/proc/meminfo: memFree=30492740/32770624 swapFree=0/409124
[pid=31028] ppid=31025 vsize=9636 CPUtime=0.01 cores=0,2,4,6
/proc/31028/stat : 31028 (bash) S 31025 31028 7434 0 -1 4202496 896 6477 0 0 0 0 0 1 20 0 1 0 37399976 9867264 377 18446744073709551615 4194304 5098028 140722386478416 140722386472424 140046293146624 0 0 5 65536 18446744071580971376 0 0 17 6 0 0 8 0 0 7196144 7232144 7421952 140722386481684 140722386481769 140722386481769 140722386485226 0
/proc/31028/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300326 s]
/proc/loadavg: 1.59 1.55 1.52 2/195 31028
/proc/meminfo: memFree=30492740/32770624 swapFree=0/409124
[pid=31028] ppid=31025 vsize=13907308 CPUtime=0.13 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 6103 12461 0 0 5 1 5 2 20 0 14 0 37399976 14241083392 5289 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3476827 5289 2669 1 0 3466324 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 13907308

[startup+0.705238 s]
/proc/loadavg: 1.59 1.55 1.52 2/195 31028
/proc/meminfo: memFree=30492740/32770624 swapFree=0/409124
[pid=31028] ppid=31025 vsize=13974784 CPUtime=0.63 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 13956 12461 0 0 52 4 5 2 20 0 15 0 37399976 14310178816 14425 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3493696 14425 3124 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784

[startup+1.50066 s]
/proc/loadavg: 1.62 1.56 1.52 3/210 31091
/proc/meminfo: memFree=30398376/32770624 swapFree=0/408948
[pid=31028] ppid=31025 vsize=13985408 CPUtime=1.8 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 27380 12461 0 0 164 9 5 2 20 0 15 0 37399976 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3496352 34292 3338 1 0 3485525 0
[pid=31028/tid=31078] ppid=31025 vsize=13985408 CPUtime=1.26 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 22204 12461 0 0 113 6 5 2 20 0 15 0 37399999 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622672830496 139622290165828 0 4 1 16800974 0 0 0 -1 0 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 1 12461 0 0 0 0 5 2 20 0 15 0 37400000 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 1 12461 0 0 0 0 5 2 20 0 15 0 37400000 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 1 12461 0 0 0 0 5 2 20 0 15 0 37400000 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 2 12461 0 0 0 0 5 2 20 0 15 0 37400000 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 5 12461 0 0 0 0 5 2 20 0 15 0 37400001 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 33 12461 0 0 0 0 5 2 20 0 15 0 37400002 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622213289504 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 21 12461 0 0 0 0 5 2 20 0 15 0 37400002 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622212236656 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) R 31025 31028 7434 0 -1 4202560 1002 12461 0 0 14 0 5 2 20 0 15 0 37400005 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622210132336 139622668620378 0 4 1 16800974 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=13985408 CPUtime=0.21 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) S 31025 31028 7434 0 -1 1077944384 652 12461 0 0 14 0 5 2 20 0 15 0 37400005 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622209079536 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=13985408 CPUtime=0.28 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) R 31025 31028 7434 0 -1 4202560 1292 12461 0 0 21 0 5 2 20 0 15 0 37400005 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622652679518 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=13985408 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 6 12461 0 0 0 0 5 2 20 0 15 0 37400010 14321057792 34292 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 1.8
Current children cumulated vsize (KiB) 13985408

[startup+3.10063 s]
/proc/loadavg: 1.62 1.56 1.52 10/210 31091
/proc/meminfo: memFree=30321628/32770624 swapFree=0/408948
[pid=31028] ppid=31025 vsize=13995836 CPUtime=6.23 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 42759 12461 0 0 600 16 5 2 20 0 15 0 37399976 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3498959 66409 3456 1 0 3487573 0
[pid=31028/tid=31078] ppid=31025 vsize=13995836 CPUtime=2.83 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 27508 12461 0 0 267 9 5 2 20 0 15 0 37399999 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622672829472 139622299197882 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 46 12461 0 0 1 0 5 2 20 0 15 0 37400000 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 48 12461 0 0 1 0 5 2 20 0 15 0 37400000 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 65 12461 0 0 1 0 5 2 20 0 15 0 37400000 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 198 12461 0 0 1 0 5 2 20 0 15 0 37400000 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=13995836 CPUtime=0.08 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 1480 12461 0 0 1 0 5 2 20 0 15 0 37400001 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 55 12461 0 0 0 0 5 2 20 0 15 0 37400002 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 44 12461 0 0 0 0 5 2 20 0 15 0 37400002 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=13995836 CPUtime=1.31 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) R 31025 31028 7434 0 -1 4202560 4619 12461 0 0 122 2 5 2 20 0 15 0 37400005 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622210116016 139622652589331 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=13995836 CPUtime=1.09 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) R 31025 31028 7434 0 -1 4202560 2360 12461 0 0 102 0 5 2 20 0 15 0 37400005 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622209067856 139622649320926 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=13995836 CPUtime=1.08 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) S 31025 31028 7434 0 -1 1077944384 4164 12461 0 0 100 1 5 2 20 0 15 0 37400005 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=13995836 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 11 12461 0 0 0 0 5 2 20 0 15 0 37400010 14331736064 66409 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 13995836

[startup+6.30065 s]
/proc/loadavg: 1.65 1.56 1.53 5/210 31091
/proc/meminfo: memFree=30124312/32770624 swapFree=0/408948
[pid=31028] ppid=31025 vsize=13999932 CPUtime=16.5 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 54592 12461 0 0 1616 27 5 2 20 0 15 0 37399976 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3499983 103519 3475 1 0 3488597 0
[pid=31028/tid=31078] ppid=31025 vsize=13999932 CPUtime=5.89 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 28944 12461 0 0 571 11 5 2 20 0 15 0 37399999 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622672827184 139622304241439 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=13999932 CPUtime=0.17 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 195 12461 0 0 9 1 5 2 20 0 15 0 37400000 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=13999932 CPUtime=0.18 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 262 12461 0 0 9 2 5 2 20 0 15 0 37400000 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=13999932 CPUtime=0.17 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 342 12461 0 0 9 1 5 2 20 0 15 0 37400000 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=13999932 CPUtime=0.13 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 249 12461 0 0 5 1 5 2 20 0 15 0 37400000 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=13999932 CPUtime=0.09 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 2150 12461 0 0 2 0 5 2 20 0 15 0 37400001 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 55 12461 0 0 0 0 5 2 20 0 15 0 37400002 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 44 12461 0 0 0 0 5 2 20 0 15 0 37400002 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=13999932 CPUtime=4.35 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) R 31025 31028 7434 0 -1 4202560 9735 12461 0 0 425 3 5 2 20 0 15 0 37400005 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622210122128 139622654577877 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=13999932 CPUtime=4.29 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) R 31025 31028 7434 0 -1 4202560 2382 12461 0 0 422 0 5 2 20 0 15 0 37400005 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622209066352 139622649320989 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=13999932 CPUtime=1.68 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) R 31025 31028 7434 0 -1 1077944384 8023 12461 0 0 158 3 5 2 20 0 15 0 37400005 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=13999932 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 50 12461 0 0 0 0 5 2 20 0 15 0 37400010 14335930368 103519 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 16.5
Current children cumulated vsize (KiB) 13999932

[startup+12.7008 s]
/proc/loadavg: 1.76 1.59 1.53 3/210 31091
/proc/meminfo: memFree=29870980/32770624 swapFree=0/408956
[pid=31028] ppid=31025 vsize=14069564 CPUtime=32.8 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 92343 12461 0 0 3231 42 5 2 20 0 15 0 37399976 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3517391 175741 3485 1 0 3506005 0
[pid=31028/tid=31078] ppid=31025 vsize=14069564 CPUtime=11.62 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 45648 12461 0 0 1139 16 5 2 20 0 15 0 37399999 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622672827600 139622302675832 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=14069564 CPUtime=0.68 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 477 12461 0 0 58 3 5 2 20 0 15 0 37400000 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=14069564 CPUtime=0.69 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 474 12461 0 0 59 3 5 2 20 0 15 0 37400000 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=14069564 CPUtime=0.68 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 587 12461 0 0 58 3 5 2 20 0 15 0 37400000 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=14069564 CPUtime=0.64 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 388 12461 0 0 54 3 5 2 20 0 15 0 37400000 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=14069564 CPUtime=0.22 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 7722 12461 0 0 15 0 5 2 20 0 15 0 37400001 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 58 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 47 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 175741 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0

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

/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 443712 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=14069564 CPUtime=1.36 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 1463 12461 0 0 64 65 5 2 20 0 15 0 37400010 14407233536 443712 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 2320.62
Current children cumulated vsize (KiB) 14069564

[startup+2322.3 s]
/proc/loadavg: 1.83 1.55 1.45 3/210 31352
/proc/meminfo: memFree=26019816/32770624 swapFree=0/409964
[pid=31028] ppid=31025 vsize=14069564 CPUtime=2381.68 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 323984 12461 0 0 237850 311 5 2 20 0 15 0 37399976 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3517391 444240 3503 1 0 3506005 0
[pid=31028/tid=31078] ppid=31025 vsize=14069564 CPUtime=2298.32 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 110724 12461 0 0 229766 59 5 2 20 0 15 0 37399999 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622672833296 139622310182404 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=14069564 CPUtime=13.49 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 33230 12461 0 0 1300 42 5 2 20 0 15 0 37400000 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=14069564 CPUtime=13.48 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 27935 12461 0 0 1300 41 5 2 20 0 15 0 37400000 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=14069564 CPUtime=13.49 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 27317 12461 0 0 1299 43 5 2 20 0 15 0 37400000 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=14069564 CPUtime=13.45 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 32023 12461 0 0 1293 45 5 2 20 0 15 0 37400000 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=14069564 CPUtime=8.12 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 31368 12461 0 0 764 41 5 2 20 0 15 0 37400001 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 70 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 47 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=14069564 CPUtime=8.71 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) S 31025 31028 7434 0 -1 1077944384 17347 12461 0 0 859 5 5 2 20 0 15 0 37400005 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622210132336 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=14069564 CPUtime=9.03 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) S 31025 31028 7434 0 -1 1077944384 13643 12461 0 0 894 2 5 2 20 0 15 0 37400005 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622209079536 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=14069564 CPUtime=2.71 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) S 31025 31028 7434 0 -1 1077944384 26614 12461 0 0 258 6 5 2 20 0 15 0 37400005 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=14069564 CPUtime=1.4 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 1505 12461 0 0 66 67 5 2 20 0 15 0 37400010 14407233536 444240 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 2381.68
Current children cumulated vsize (KiB) 14069564

[startup+2382.3 s]
/proc/loadavg: 1.29 1.46 1.43 2/188 31405
/proc/meminfo: memFree=29788372/32770624 swapFree=0/409960
[pid=31028] ppid=31025 vsize=14069564 CPUtime=2442.77 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 327812 12461 0 0 243952 318 5 2 20 0 15 0 37399976 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3517391 446594 3503 1 0 3506005 0
[pid=31028/tid=31078] ppid=31025 vsize=14069564 CPUtime=2357.66 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 111909 12461 0 0 235699 60 5 2 20 0 15 0 37399999 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622672833296 139622309340320 0 4 1 16800974 0 0 0 -1 4 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=14069564 CPUtime=13.86 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 33398 12461 0 0 1336 43 5 2 20 0 15 0 37400000 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=14069564 CPUtime=13.85 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 28472 12461 0 0 1336 42 5 2 20 0 15 0 37400000 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=14069564 CPUtime=13.87 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 27693 12461 0 0 1336 44 5 2 20 0 15 0 37400000 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=14069564 CPUtime=13.83 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 32885 12461 0 0 1330 46 5 2 20 0 15 0 37400000 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=14069564 CPUtime=8.35 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 32012 12461 0 0 786 42 5 2 20 0 15 0 37400001 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 70 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 47 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=14069564 CPUtime=8.71 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) S 31025 31028 7434 0 -1 1077944384 17351 12461 0 0 859 5 5 2 20 0 15 0 37400005 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622210132336 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=14069564 CPUtime=9.03 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) S 31025 31028 7434 0 -1 1077944384 13649 12461 0 0 894 2 5 2 20 0 15 0 37400005 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622209079536 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=14069564 CPUtime=2.71 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) S 31025 31028 7434 0 -1 1077944384 26618 12461 0 0 258 6 5 2 20 0 15 0 37400005 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=14069564 CPUtime=1.44 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 1547 12461 0 0 68 69 5 2 20 0 15 0 37400010 14407233536 446594 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 2442.77
Current children cumulated vsize (KiB) 14069564

[startup+2442.3 s]
/proc/loadavg: 0.83 1.30 1.38 2/189 31408
/proc/meminfo: memFree=29787324/32770624 swapFree=0/409980
[pid=31028] ppid=31025 vsize=14069564 CPUtime=2503.89 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 330169 12461 0 0 250058 324 5 2 20 0 15 0 37399976 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3517391 446766 3503 1 0 3506005 0
[pid=31028/tid=31078] ppid=31025 vsize=14069564 CPUtime=2416.99 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 112940 12461 0 0 241631 61 5 2 20 0 15 0 37399999 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622672833088 139622297668329 0 4 1 16800974 0 0 0 -1 6 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=14069564 CPUtime=14.23 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 33659 12461 0 0 1372 44 5 2 20 0 15 0 37400000 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=14069564 CPUtime=14.23 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 28828 12461 0 0 1373 43 5 2 20 0 15 0 37400000 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=14069564 CPUtime=14.25 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 27850 12461 0 0 1373 45 5 2 20 0 15 0 37400000 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=14069564 CPUtime=14.22 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 32987 12461 0 0 1368 47 5 2 20 0 15 0 37400000 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=14069564 CPUtime=8.58 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 32419 12461 0 0 809 42 5 2 20 0 15 0 37400001 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 70 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 47 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=14069564 CPUtime=8.71 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) S 31025 31028 7434 0 -1 1077944384 17355 12461 0 0 859 5 5 2 20 0 15 0 37400005 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622210132336 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=14069564 CPUtime=9.03 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) S 31025 31028 7434 0 -1 1077944384 13653 12461 0 0 894 2 5 2 20 0 15 0 37400005 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622209079536 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=14069564 CPUtime=2.71 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) S 31025 31028 7434 0 -1 1077944384 26622 12461 0 0 258 6 5 2 20 0 15 0 37400005 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=14069564 CPUtime=1.48 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 1578 12461 0 0 70 71 5 2 20 0 15 0 37400010 14407233536 446766 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 2503.89
Current children cumulated vsize (KiB) 14069564



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2458.2 s]
/proc/loadavg: 0.72 1.26 1.36 2/189 31409
/proc/meminfo: memFree=29787324/32770624 swapFree=0/409980
[pid=31028] ppid=31025 vsize=14069564 CPUtime=2520.07 cores=0,2,4,6
/proc/31028/stat : 31028 (java) S 31025 31028 7434 0 -1 1077944320 330472 12461 0 0 251674 326 5 2 20 0 15 0 37399976 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 140724491871104 139622668599031 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 8 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
/proc/31028/statm: 3517391 446772 3503 1 0 3506005 0
[pid=31028/tid=31078] ppid=31025 vsize=14069564 CPUtime=2432.72 cores=0,2,4,6
/proc/31028/task/31078/stat : 31078 (java) R 31025 31028 7434 0 -1 4202560 113202 12461 0 0 243204 61 5 2 20 0 15 0 37399999 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622672833200 139622299861028 0 4 1 16800974 0 0 0 -1 2 0 0 4 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31079] ppid=31025 vsize=14069564 CPUtime=14.33 cores=0,2,4,6
/proc/31028/task/31079/stat : 31079 (java) S 31025 31028 7434 0 -1 1077944384 33659 12461 0 0 1381 45 5 2 20 0 15 0 37400000 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622610545296 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31080] ppid=31025 vsize=14069564 CPUtime=14.32 cores=0,2,4,6
/proc/31028/task/31080/stat : 31080 (java) S 31025 31028 7434 0 -1 1077944384 28829 12461 0 0 1382 43 5 2 20 0 15 0 37400000 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622267492880 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31081] ppid=31025 vsize=14069564 CPUtime=14.34 cores=0,2,4,6
/proc/31028/task/31081/stat : 31081 (java) S 31025 31028 7434 0 -1 1077944384 27852 12461 0 0 1382 45 5 2 20 0 15 0 37400000 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622266440080 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31082] ppid=31025 vsize=14069564 CPUtime=14.31 cores=0,2,4,6
/proc/31028/task/31082/stat : 31082 (java) S 31025 31028 7434 0 -1 1077944384 33016 12461 0 0 1377 47 5 2 20 0 15 0 37400000 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622265387280 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31083] ppid=31025 vsize=14069564 CPUtime=8.64 cores=0,2,4,6
/proc/31028/task/31083/stat : 31083 (java) S 31025 31028 7434 0 -1 1077944384 32426 12461 0 0 814 43 5 2 20 0 15 0 37400001 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622214343536 139622668610178 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31084] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31084/stat : 31084 (java) S 31025 31028 7434 0 -1 1077944384 70 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622213289568 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31085] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31085/stat : 31085 (java) S 31025 31028 7434 0 -1 1077944384 47 12461 0 0 0 0 5 2 20 0 15 0 37400002 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622212236672 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31086] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31086/stat : 31086 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622211184976 139622668617627 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31087] ppid=31025 vsize=14069564 CPUtime=8.71 cores=0,2,4,6
/proc/31028/task/31087/stat : 31087 (java) S 31025 31028 7434 0 -1 1077944384 17355 12461 0 0 859 5 5 2 20 0 15 0 37400005 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622210132336 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31088] ppid=31025 vsize=14069564 CPUtime=9.03 cores=0,2,4,6
/proc/31028/task/31088/stat : 31088 (java) S 31025 31028 7434 0 -1 1077944384 13653 12461 0 0 894 2 5 2 20 0 15 0 37400005 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622209079536 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31089] ppid=31025 vsize=14069564 CPUtime=2.71 cores=0,2,4,6
/proc/31028/task/31089/stat : 31089 (java) S 31025 31028 7434 0 -1 1077944384 26622 12461 0 0 258 6 5 2 20 0 15 0 37400005 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622208026736 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31090] ppid=31025 vsize=14069564 CPUtime=0.07 cores=0,2,4,6
/proc/31028/task/31090/stat : 31090 (java) S 31025 31028 7434 0 -1 1077944384 3 12461 0 0 0 0 5 2 20 0 15 0 37400005 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622139029728 139622668609237 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
[pid=31028/tid=31091] ppid=31025 vsize=14069564 CPUtime=1.49 cores=0,2,4,6
/proc/31028/task/31091/stat : 31091 (java) S 31025 31028 7434 0 -1 1077944384 1580 12461 0 0 70 72 5 2 20 0 15 0 37400010 14407233536 446772 18446744073709551615 4194304 4196468 140724491888560 139622137978032 139622668610178 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 15519744 140724491896784 140724491899569 140724491899569 140724491902927 0
Current children cumulated CPU time (s) 2520.07
Current children cumulated vsize (KiB) 14069564

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

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

Child status: 143
Real time (s): 2458.23
CPU time (s): 2520.13
CPU user time (s): 2516.82
CPU system time (s): 3.31126
CPU usage (%): 102.518
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2516.82
system time used= 3.31126
maximum resident set size= 2050296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 343617
page faults= 0
swaps= 0
block input operations= 0
block output operations= 2872
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 230940
involuntary context switches= 8029

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.2012 second user time and 14.9987 second system time

The end

Launcher Data 

Begin job on node124 at 2017-08-12 00:15:37
IDJOB=4262764
IDBENCH=140572
IDSOLVER=2650
FILE ID=node124/4262764-1502490593
RUNJOBID= node124-1502411387-7497
PBS_JOBID= 
Free space on /tmp= 62008 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/Ramsey/Ramsey-int-s1/Ramsey-int-27.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4262764-1502490593/watcher-4262764-1502490593 -o /tmp/evaluation-result-4262764-1502490593/solver-4262764-1502490593 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502411387-7497 --watchdog 2580  bin/concrete HOME/instance-4262764-1502490593.xml

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

MD5SUM BENCH= 1f968d7964fa1ced5b2605ed1734128f
RANDOM SEED=1395885142

node124.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.51
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.51
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.51
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.51
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:        30492760 kB
MemAvailable:   30957704 kB
Buffers:          225272 kB
Cached:           534144 kB
SwapCached:            0 kB
Active:          1426464 kB
Inactive:         434084 kB
Active(anon):    1101504 kB
Inactive(anon):    24960 kB
Active(file):     324960 kB
Inactive(file):   409124 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24552 kB
Writeback:             0 kB
AnonPages:       1101028 kB
Mapped:            52020 kB
Shmem:             25320 kB
Slab:             119004 kB
SReclaimable:      93388 kB
SUnreclaim:        25616 kB
KernelStack:        3424 kB
PageTables:         7260 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1961364 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    882688 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      116096 kB
DirectMap2M:    33429504 kB

Free space on /tmp at the end= 62008 MiB
End job on node124 at 2017-08-12 00:56:35