Trace number 4259693

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 261.66599 240.036

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 benchmark240.011
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.28/2.23	c Concrete v3.4 running
27.82/10.59	o 350
29.47/11.15	o 349
30.33/11.58	o 348
30.94/11.98	o 347
31.45/12.38	o 346
31.93/12.79	o 345
32.37/13.19	o 344
32.80/13.58	o 343
33.23/13.92	o 342
33.56/14.30	o 341
33.96/14.63	o 340
34.38/15.01	o 339
34.69/15.39	o 338
35.12/15.77	o 337
35.52/16.15	o 336
36.02/16.53	o 335
36.45/16.91	o 334
36.75/17.23	o 333
37.18/17.60	o 332
37.49/17.98	o 331
38.00/18.43	o 330
38.43/18.80	o 329
38.77/19.18	o 328
39.19/19.56	o 327
39.65/19.93	o 326
39.94/20.24	o 325
40.24/20.54	o 324
40.65/20.90	o 323
40.94/21.26	o 322
41.35/21.62	o 321
41.65/21.93	o 320
42.06/22.31	o 319
42.37/22.69	o 318
42.80/23.07	o 317
43.21/23.44	o 316
43.61/23.81	o 315
43.92/24.17	o 314
44.33/24.54	o 313
44.73/24.90	o 312
45.03/25.21	o 311
45.33/25.51	o 310
45.63/25.87	o 309
46.03/26.24	o 308
46.34/26.55	o 307
46.75/26.91	o 306
47.05/27.27	o 305
47.36/27.58	o 304
47.76/27.95	o 303
48.06/28.25	o 302
48.46/28.62	o 301
48.76/28.98	o 300
49.06/29.29	o 299
49.46/29.65	o 298
49.86/30.01	o 297
50.16/30.38	o 296
50.57/30.76	o 295
50.98/31.13	o 294
51.28/31.50	o 293
51.68/31.86	o 292
52.09/32.22	o 291
52.39/32.52	o 290
52.69/32.88	o 289
53.09/33.24	o 288
53.49/33.61	o 287
53.79/33.91	o 286
54.10/34.27	o 285
54.49/34.63	o 284
54.79/35.00	o 283
55.21/35.37	o 282
55.61/35.73	o 281
55.91/36.09	o 280
56.32/36.46	o 279
56.71/36.82	o 278
57.01/37.18	o 277
57.44/37.54	o 276
57.83/37.90	o 275
58.13/38.26	o 274
58.54/38.62	o 273
58.83/38.98	o 272
59.23/39.34	o 271
59.54/39.65	o 270
59.93/40.03	o 269
60.24/40.36	o 268
60.65/40.72	o 267
60.95/41.03	o 266
61.25/41.33	o 265
61.56/41.69	o 264
61.96/42.05	o 263
62.36/42.42	o 262
62.67/42.78	o 261
63.07/43.15	o 260
63.47/43.51	o 259
63.77/43.88	o 258
64.17/44.24	o 257
64.57/44.60	o 256
64.88/44.96	o 255
65.28/45.33	o 254
65.69/45.70	o 253
65.99/46.06	o 252
66.29/46.37	o 251
66.69/46.73	o 250
66.99/47.04	o 249
67.29/47.40	o 248
67.71/47.76	o 247
68.11/48.12	o 246
68.42/48.48	o 245
68.82/48.85	o 244
69.22/49.21	o 243
69.52/49.57	o 242
69.92/49.93	o 241
70.22/50.23	o 240
70.51/50.60	o 239
70.94/50.98	o 238
71.23/51.28	o 237
71.63/51.64	o 236
72.03/52.00	o 235
72.34/52.31	o 234
72.64/52.67	o 233
73.04/53.03	o 232
73.34/53.33	o 231
73.64/53.70	o 230
74.04/54.05	o 229
74.43/54.41	o 228
74.74/54.78	o 227
75.14/55.14	o 226
75.44/55.50	o 225
75.84/55.80	o 224
76.14/56.16	o 223
76.56/56.54	o 222
76.86/56.84	o 221
77.17/57.15	o 220
77.57/57.51	o 219
77.87/57.87	o 218
78.27/58.23	o 217
78.57/58.59	o 216
78.97/58.96	o 215
79.37/59.32	o 214
79.67/59.68	o 213
79.97/59.99	o 212
80.37/60.35	o 211
80.68/60.65	o 210
80.97/60.96	o 209
81.37/61.32	o 208
81.67/61.68	o 207
82.07/62.05	o 206
82.49/62.43	o 205
82.79/62.79	o 204
83.18/63.15	o 203
83.58/63.52	o 202
83.89/63.82	o 201
84.19/64.18	o 200
84.59/64.54	o 199
84.89/64.85	o 198
85.29/65.21	o 197
85.59/65.57	o 196
85.99/65.93	o 195
86.29/66.24	o 194
86.69/66.60	o 193
86.99/66.96	o 192
87.29/67.27	o 191
87.69/67.64	o 190
87.99/67.94	o 189
88.41/68.31	o 188
88.71/68.67	o 187
89.11/69.03	o 186
89.41/69.34	o 185
89.81/69.76	o 184
90.21/70.12	o 183
90.52/70.49	o 182
90.91/70.85	o 181
91.21/71.16	o 180
91.62/71.52	o 179
91.91/71.89	o 178
92.31/72.25	o 177
92.72/72.62	o 176
93.02/72.92	o 175
93.32/73.22	o 174
93.62/73.58	o 173
94.02/73.95	o 172
94.43/74.33	o 171
94.74/74.70	o 170
95.14/75.06	o 169
95.44/75.36	o 168
95.73/75.66	o 167
96.14/76.02	o 166
96.43/76.38	o 165
96.84/76.74	o 164
97.14/77.10	o 163
97.54/77.46	o 162
97.94/77.83	o 161
98.24/78.19	o 160
98.64/78.55	o 159
99.04/78.91	o 158
99.35/79.28	o 157
99.64/79.59	o 156
100.04/79.95	o 155
100.45/80.32	o 154
100.75/80.68	o 153
101.05/80.99	o 152
101.35/81.29	o 151
101.75/81.65	o 150
102.15/82.01	o 149
102.45/82.37	o 148
102.85/82.72	o 147
103.15/83.08	o 146
103.55/83.44	o 145
103.95/83.81	o 144
104.25/84.17	o 143
104.65/84.53	o 142
104.96/84.89	o 141
105.35/85.25	o 140
105.75/85.62	o 139
106.06/85.92	o 138
106.36/86.24	o 137
106.77/86.60	o 136
107.08/86.91	o 135
107.37/87.21	o 134
107.67/87.57	o 133
108.07/88.00	o 132
108.47/88.36	o 131
108.87/88.72	o 130
109.17/89.09	o 129
109.57/89.45	o 128
109.97/89.80	o 127
110.27/90.16	o 126
110.67/90.51	o 125
110.97/90.87	o 124
111.27/91.17	o 123
111.67/91.53	o 122
111.97/91.83	o 121
112.27/92.19	o 120
112.59/92.49	o 119
112.98/92.85	o 118
113.38/93.21	o 117
113.69/93.57	o 116
114.08/93.93	o 115
114.39/94.28	o 114
114.80/94.64	o 113
115.09/94.94	o 112
115.49/95.30	o 111
115.79/95.65	o 110
116.09/95.95	o 109
116.49/96.31	o 108
116.89/96.72	o 107
117.19/97.08	o 106
117.49/97.39	o 105
117.89/97.74	o 104
118.29/98.10	o 103
118.59/98.47	o 102
119.00/98.83	o 101
119.31/99.19	o 100
119.70/99.54	o 99
120.00/99.85	o 98
120.31/100.14	o 97
120.72/100.56	o 96
121.13/100.92	o 95
121.44/101.28	o 94
121.83/101.64	o 93
122.13/101.99	o 92
122.43/102.30	o 91
122.84/102.60	o 90
123.14/102.95	o 89
123.54/103.31	o 88
123.84/103.61	o 87
124.14/103.96	o 86
124.55/104.33	o 85
124.86/104.68	o 84
125.25/105.04	o 83
125.65/105.40	o 82
125.96/105.76	o 81
126.35/106.11	o 80
126.65/106.41	o 79
126.96/106.77	o 78
127.35/107.12	o 77
127.65/107.42	o 76
127.95/107.78	o 75
128.35/108.14	o 74
128.65/108.49	o 73
129.05/108.85	o 72
129.45/109.20	o 71
129.75/109.56	o 70
130.16/109.92	o 69
130.46/110.27	o 68
130.86/110.63	o 67
131.17/110.99	o 66
131.49/111.23	o 65
131.79/111.59	o 64
132.26/111.95	o 63
132.68/112.31	o 62
132.98/112.67	o 61
133.28/112.98	o 60
133.69/113.33	o 59
133.99/113.69	o 58
134.40/114.05	o 57
134.80/114.41	o 56
135.10/114.71	o 55
135.40/115.07	o 54
135.81/115.42	o 53
136.11/115.78	o 52
136.51/116.14	o 51
136.91/116.50	o 50
137.21/116.86	o 49
137.61/117.22	o 48
137.91/117.58	o 47
138.31/117.94	o 46
138.61/118.29	o 45
139.01/118.65	o 44
139.41/119.01	o 43
139.71/119.36	o 42
140.11/119.72	o 41
140.42/120.08	o 40
140.82/120.45	o 39
141.22/120.81	o 38
141.53/121.17	o 37
141.92/121.52	o 36
142.22/121.82	o 35
142.53/122.18	o 34
142.82/122.48	o 33
143.22/122.84	o 32
143.53/123.20	o 31
143.93/123.56	o 30
144.23/123.86	o 29
144.63/124.22	o 28
144.93/124.52	o 27
145.23/124.82	o 26
145.53/125.18	o 25
145.94/125.54	o 24
146.24/125.89	o 23
146.54/126.19	o 22
146.94/126.55	o 21
147.34/126.91	o 20
147.64/127.26	o 19
147.94/127.57	o 18
148.34/127.92	o 17
148.64/128.28	o 16
149.04/128.64	o 15
149.44/129.00	o 14
149.74/129.30	o 13
150.04/129.60	o 12
150.36/129.96	o 11
150.75/130.32	o 10
151.05/130.68	o 9
151.46/131.03	o 8
151.76/131.33	o 7
152.06/131.69	o 6
152.37/131.99	o 5
152.77/132.34	o 4
261.61/240.00	java.util.concurrent.TimeoutException
261.61/240.00		at concrete.MAC.mac(MAC.scala:74)
261.61/240.00		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
261.61/240.00		at scala.util.Try$.apply(Try.scala:209)
261.61/240.00		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
261.61/240.00		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
261.61/240.00		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
261.61/240.00		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
261.61/240.00		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
261.61/240.00		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
261.61/240.00		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
261.61/240.00		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
261.61/240.00		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
261.61/240.00		at concrete.MAC.oneRun(MAC.scala:146)
261.61/240.00		at concrete.MAC.nextSolution(MAC.scala:166)
261.61/240.00		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
261.61/240.00		at concrete.ProblemState.map(ProblemState.scala:203)
261.61/240.00		at concrete.ProblemState.map(ProblemState.scala:188)
261.61/240.00		at concrete.MAC.nextSolution(MAC.scala:195)
261.61/240.00		at concrete.Solver.hasNext(Solver.scala:202)
261.61/240.00		at scala.collection.Iterator.toStream(Iterator.scala:1403)
261.61/240.00		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
261.61/240.00		at concrete.Solver.toStream(Solver.scala:73)
261.61/240.00		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
261.61/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
261.61/240.00		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
261.61/240.00		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
261.61/240.00		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
261.61/240.00		at scala.util.Success.$anonfun$map$1(Try.scala:251)
261.61/240.00		at scala.util.Success.map(Try.scala:209)
261.61/240.00		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
261.61/240.00		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
261.61/240.00		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
261.61/240.00		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
261.61/240.00		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
261.61/240.00		at scala.Function0.apply$mcV$sp(Function0.scala:34)
261.61/240.00		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
261.61/240.00		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
261.61/240.00		at scala.App.$anonfun$main$1$adapted(App.scala:76)
261.61/240.00		at scala.collection.immutable.List.foreach(List.scala:389)
261.61/240.00		at scala.App.main(App.scala:76)
261.61/240.00		at scala.App.main$(App.scala:74)
261.61/240.00		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
261.61/240.00		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
261.61/240.01	v <instantiation cost="4">
261.61/240.01	v       <list>
261.61/240.01	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]
261.61/240.01	v       </list>
261.61/240.01	v       <values>
261.61/240.01	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
261.61/240.01	v       </values>
261.61/240.01	v     </instantiation>
261.61/240.01	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-4259693-1502001709/watcher-4259693-1502001709 -o /tmp/evaluation-result-4259693-1502001709/solver-4259693-1502001709 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502000848-2186 --watchdog 300 bin/concrete HOME/instance-4259693-1502001709.xml 

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

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.20 1.65 1.90 3/178 2210
/proc/meminfo: memFree=31508260/32770624 swapFree=0/334124
[pid=2210] ppid=2206 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/2210/stat : 2210 (runsolver) D 2206 2210 12039 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 99824183 24240128 106 18446744073709551615 4194304 4338465 140725161454416 140725161452056 140646960800471 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 39661568 140725161455831 140725161456204 140725161456204 140725161459658 0
/proc/2210/statm: 5918 106 53 36 0 2156 0

[startup+0.10015 s]
/proc/loadavg: 1.20 1.65 1.90 3/178 2210
/proc/meminfo: memFree=31508260/32770624 swapFree=0/334124
[pid=2210] ppid=2206 vsize=9508 CPUtime=0 cores=1,3,5,7
/proc/2210/stat : 2210 (bash) S 2206 2210 12039 0 -1 4202496 649 0 0 0 0 0 0 0 20 0 1 0 99824183 9736192 350 18446744073709551615 4194304 5098028 140724961856704 140724961854344 140372458638336 0 0 5 65536 18446744071580971376 0 0 17 1 0 0 7 0 0 7196144 7232144 36364288 140724961858071 140724961858156 140724961858156 140724961861610 0
/proc/2210/statm: 2377 350 278 221 0 86 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9508

[startup+0.200237 s]
/proc/loadavg: 1.20 1.65 1.90 3/178 2210
/proc/meminfo: memFree=31508260/32770624 swapFree=0/334124
[pid=2210] ppid=2206 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/2210/stat : 2210 (bash) S 2206 2210 12039 0 -1 4202496 890 6483 0 1 0 0 0 1 20 0 1 0 99824183 9867264 376 18446744073709551615 4194304 5098028 140724961856704 140724961850712 140372458638336 0 0 5 65536 18446744071580971376 0 0 17 7 0 0 7 0 0 7196144 7232144 36364288 140724961858071 140724961858156 140724961858156 140724961861610 0
/proc/2210/statm: 2409 376 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636

[startup+0.300253 s]
/proc/loadavg: 1.20 1.65 1.90 3/178 2210
/proc/meminfo: memFree=31508260/32770624 swapFree=0/334124
[pid=2210] ppid=2206 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 5804 12450 0 1 5 1 5 3 20 0 14 0 99824183 14241083392 5486 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3476827 5486 2560 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308

[startup+0.700231 s]
/proc/loadavg: 1.20 1.65 1.90 3/178 2210
/proc/meminfo: memFree=31508260/32770624 swapFree=0/334124
[pid=2210] ppid=2206 vsize=13974784 CPUtime=0.63 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 13803 12450 0 1 52 3 5 3 20 0 15 0 99824183 14310178816 14252 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3493696 14252 3078 1 0 3482965 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 13974784

[startup+1.50165 s]
/proc/loadavg: 1.20 1.65 1.90 3/212 2341
/proc/meminfo: memFree=31329936/32770624 swapFree=0/335984
[pid=2210] ppid=2206 vsize=13985408 CPUtime=1.81 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 25915 12450 0 1 166 7 5 3 20 0 15 0 99824183 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3496352 33928 3341 1 0 3485525 0
[pid=2210/tid=2310] ppid=2206 vsize=13985408 CPUtime=1.27 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 21169 12450 0 1 113 6 5 3 20 0 15 0 99824207 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140054530567728 140054526358106 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 1 12450 0 1 0 0 5 3 20 0 15 0 99824207 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 1 12450 0 1 0 0 5 3 20 0 15 0 99824207 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 1 12450 0 1 0 0 5 3 20 0 15 0 99824207 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 2 12450 0 1 0 0 5 3 20 0 15 0 99824207 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 5 12450 0 1 0 0 5 3 20 0 15 0 99824209 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 33 12450 0 1 0 0 5 3 20 0 15 0 99824209 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053440328480 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 21 12450 0 1 0 0 5 3 20 0 15 0 99824209 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053439276144 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) S 2206 2210 12039 0 -1 1077944384 1091 12450 0 1 15 0 5 3 20 0 15 0 99824212 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053437172336 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=13985408 CPUtime=0.22 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) S 2206 2210 12039 0 -1 1077944384 501 12450 0 1 14 0 5 3 20 0 15 0 99824212 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053436119536 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 931 12450 0 1 22 0 5 3 20 0 15 0 99824212 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824217 14321057792 33928 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 1.81
Current children cumulated vsize (KiB) 13985408

[startup+3.10069 s]
/proc/loadavg: 1.20 1.65 1.90 6/212 2341
/proc/meminfo: memFree=31155540/32770624 swapFree=0/335640
[pid=2210] ppid=2206 vsize=13995836 CPUtime=5.89 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 35166 12450 0 1 564 17 5 3 20 0 15 0 99824183 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3498959 64898 3444 1 0 3487573 0
[pid=2210/tid=2310] ppid=2206 vsize=13995836 CPUtime=2.82 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 24332 12450 0 1 267 7 5 3 20 0 15 0 99824207 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140054530570344 140054145645511 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 208 12450 0 1 0 0 5 3 20 0 15 0 99824207 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 29 12450 0 1 1 0 5 3 20 0 15 0 99824207 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 44 12450 0 1 1 0 5 3 20 0 15 0 99824207 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 50 12450 0 1 1 0 5 3 20 0 15 0 99824207 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=13995836 CPUtime=0.09 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 1510 12450 0 1 1 0 5 3 20 0 15 0 99824209 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 56 12450 0 1 0 0 5 3 20 0 15 0 99824209 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053440328544 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 45 12450 0 1 0 0 5 3 20 0 15 0 99824209 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=13995836 CPUtime=1.03 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) R 2206 2210 12039 0 -1 4202560 2424 12450 0 1 95 0 5 3 20 0 15 0 99824212 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053437153808 140054507058701 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=13995836 CPUtime=1.05 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) R 2206 2210 12039 0 -1 4202560 1442 12450 0 1 95 2 5 3 20 0 15 0 99824212 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053436117936 140054505582607 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=13995836 CPUtime=1.1 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 2867 12450 0 1 99 3 5 3 20 0 15 0 99824212 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=13995836 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824217 14331736064 64898 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 5.89
Current children cumulated vsize (KiB) 13995836

[startup+6.3006 s]
/proc/loadavg: 1.58 1.72 1.93 8/212 2341
/proc/meminfo: memFree=30720720/32770624 swapFree=0/335472
[pid=2210] ppid=2206 vsize=13999932 CPUtime=16.09 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 50086 12450 0 1 1574 27 5 3 20 0 15 0 99824183 14335930368 102416 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3499983 102429 3471 1 0 3488597 0
[pid=2210/tid=2310] ppid=2206 vsize=13999932 CPUtime=5.89 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 26933 12450 0 1 573 8 5 3 20 0 15 0 99824207 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140054530568208 140054148573006 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=13999932 CPUtime=0.16 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 860 12450 0 1 6 2 5 3 20 0 15 0 99824207 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=13999932 CPUtime=0.18 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 173 12450 0 1 8 2 5 3 20 0 15 0 99824207 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=13999932 CPUtime=0.15 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 183 12450 0 1 6 1 5 3 20 0 15 0 99824207 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=13999932 CPUtime=0.19 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 203 12450 0 1 9 2 5 3 20 0 15 0 99824207 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=13999932 CPUtime=0.1 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 1735 12450 0 1 2 0 5 3 20 0 15 0 99824209 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053440328544 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 50 12450 0 1 0 0 5 3 20 0 15 0 99824209 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=13999932 CPUtime=4.23 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) R 2206 2210 12039 0 -1 4202560 2679 12450 0 1 415 0 5 3 20 0 15 0 99824212 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053437154928 140054507058752 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=13999932 CPUtime=3.94 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) R 2206 2210 12039 0 -1 4202560 5871 12450 0 1 384 2 5 3 20 0 15 0 99824212 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053436107952 140054519440401 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=13999932 CPUtime=1.76 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 9137 12450 0 1 164 4 5 3 20 0 15 0 99824212 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=13999932 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 50 12450 0 1 0 0 5 3 20 0 15 0 99824217 14335930368 102429 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 16.09
Current children cumulated vsize (KiB) 13999932

[startup+12.7007 s]
/proc/loadavg: 1.77 1.76 1.94 6/212 2342
/proc/meminfo: memFree=29977656/32770624 swapFree=0/335468
[pid=2210] ppid=2206 vsize=14069564 CPUtime=31.93 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 94104 12450 0 1 3145 40 5 3 20 0 15 0 99824183 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3517391 190929 3491 1 0 3506005 0
[pid=2210/tid=2310] ppid=2206 vsize=14069564 CPUtime=11.65 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 46221 12450 0 1 1145 12 5 3 20 0 15 0 99824207 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140054530566928 140054146877280 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=14069564 CPUtime=0.66 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 1115 12450 0 1 54 4 5 3 20 0 15 0 99824207 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=14069564 CPUtime=0.66 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 331 12450 0 1 55 3 5 3 20 0 15 0 99824207 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=14069564 CPUtime=0.63 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 626 12450 0 1 52 3 5 3 20 0 15 0 99824207 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=14069564 CPUtime=0.69 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 788 12450 0 1 57 4 5 3 20 0 15 0 99824207 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=14069564 CPUtime=0.23 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 6816 12450 0 1 15 0 5 3 20 0 15 0 99824209 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 66 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140053440328608 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 190929 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0

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

/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 439084 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=14069564 CPUtime=0.1 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 114 12450 0 1 0 2 5 3 20 0 15 0 99824217 14407233536 439084 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 71.13
Current children cumulated vsize (KiB) 14069564

[startup+102.301 s]
/proc/loadavg: 1.82 1.79 1.93 3/212 2345
/proc/meminfo: memFree=26609788/32770624 swapFree=0/335520
[pid=2210] ppid=2206 vsize=14069564 CPUtime=122.54 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 121853 12450 0 1 12174 72 5 3 20 0 15 0 99824183 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3517391 492785 3494 1 0 3506005 0
[pid=2210/tid=2310] ppid=2206 vsize=14069564 CPUtime=101.14 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 54927 12450 0 1 10075 31 5 3 20 0 15 0 99824207 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140054530565504 140054151654449 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=14069564 CPUtime=0.74 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 2692 12450 0 1 60 6 5 3 20 0 15 0 99824207 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=14069564 CPUtime=0.74 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 469 12450 0 1 61 5 5 3 20 0 15 0 99824207 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=14069564 CPUtime=0.71 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 839 12450 0 1 58 5 5 3 20 0 15 0 99824207 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=14069564 CPUtime=0.78 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 1946 12450 0 1 63 7 5 3 20 0 15 0 99824207 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=14069564 CPUtime=0.26 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 7971 12450 0 1 17 1 5 3 20 0 15 0 99824209 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 73 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053440328608 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=14069564 CPUtime=8.08 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) S 2206 2210 12039 0 -1 1077944384 10856 12450 0 1 798 2 5 3 20 0 15 0 99824212 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053437172336 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=14069564 CPUtime=7.89 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) S 2206 2210 12039 0 -1 1077944384 14694 12450 0 1 777 4 5 3 20 0 15 0 99824212 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053436119536 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=14069564 CPUtime=2.68 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 25009 12450 0 1 254 6 5 3 20 0 15 0 99824212 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=14069564 CPUtime=0.12 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 163 12450 0 1 1 3 5 3 20 0 15 0 99824217 14407233536 492785 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 122.54
Current children cumulated vsize (KiB) 14069564

[startup+162.301 s]
/proc/loadavg: 1.76 1.77 1.92 3/215 2361
/proc/meminfo: memFree=26372380/32770624 swapFree=0/335572
[pid=2210] ppid=2206 vsize=14069564 CPUtime=183.39 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 135446 12450 0 1 18256 75 5 3 20 0 15 0 99824183 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3517391 472854 3500 1 0 3506005 0
[pid=2210/tid=2310] ppid=2206 vsize=14069564 CPUtime=161.04 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 57985 12450 0 1 16065 31 5 3 20 0 15 0 99824207 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140054530571024 140054155783580 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=14069564 CPUtime=0.8 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 3190 12450 0 1 66 6 5 3 20 0 15 0 99824207 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=14069564 CPUtime=0.81 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 601 12450 0 1 68 5 5 3 20 0 15 0 99824207 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=14069564 CPUtime=0.77 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 863 12450 0 1 64 5 5 3 20 0 15 0 99824207 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=14069564 CPUtime=0.84 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 2768 12450 0 1 69 7 5 3 20 0 15 0 99824207 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 8294 12450 0 1 18 1 5 3 20 0 15 0 99824209 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 76 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053440328608 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=14069564 CPUtime=8.48 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) S 2206 2210 12039 0 -1 1077944384 15336 12450 0 1 838 2 5 3 20 0 15 0 99824212 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053437172336 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=14069564 CPUtime=8.12 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) S 2206 2210 12039 0 -1 1077944384 17316 12450 0 1 800 4 5 3 20 0 15 0 99824212 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053436119536 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=14069564 CPUtime=2.7 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 26610 12450 0 1 256 6 5 3 20 0 15 0 99824212 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=14069564 CPUtime=0.16 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 193 12450 0 1 2 6 5 3 20 0 15 0 99824217 14407233536 472854 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 183.39
Current children cumulated vsize (KiB) 14069564

[startup+222.307 s]
/proc/loadavg: 2.04 1.86 1.94 3/217 2365
/proc/meminfo: memFree=26463556/32770624 swapFree=0/335572
[pid=2210] ppid=2206 vsize=14069564 CPUtime=243.73 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 139022 12450 0 1 24286 79 5 3 20 0 15 0 99824183 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3517391 448114 3500 1 0 3506005 0
[pid=2210/tid=2310] ppid=2206 vsize=14069564 CPUtime=220.87 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 59266 12450 0 1 22048 31 5 3 20 0 15 0 99824207 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140054530571008 140054154930505 0 4 1 16800974 0 0 0 -1 3 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=14069564 CPUtime=0.9 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 3720 12450 0 1 76 6 5 3 20 0 15 0 99824207 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=14069564 CPUtime=0.91 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 768 12450 0 1 78 5 5 3 20 0 15 0 99824207 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=14069564 CPUtime=0.87 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 918 12450 0 1 74 5 5 3 20 0 15 0 99824207 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=14069564 CPUtime=0.95 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 3906 12450 0 1 80 7 5 3 20 0 15 0 99824207 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=14069564 CPUtime=0.33 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 8669 12450 0 1 22 3 5 3 20 0 15 0 99824209 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 76 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053440328608 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=14069564 CPUtime=8.48 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) S 2206 2210 12039 0 -1 1077944384 15338 12450 0 1 838 2 5 3 20 0 15 0 99824212 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053437172336 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=14069564 CPUtime=8.12 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) S 2206 2210 12039 0 -1 1077944384 17319 12450 0 1 800 4 5 3 20 0 15 0 99824212 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053436119536 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=14069564 CPUtime=2.7 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 26612 12450 0 1 256 6 5 3 20 0 15 0 99824212 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=14069564 CPUtime=0.19 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 216 12450 0 1 3 8 5 3 20 0 15 0 99824217 14407233536 448114 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 243.73
Current children cumulated vsize (KiB) 14069564



Maximum wall clock time exceeded: sending SIGTERM then SIGKILL

[startup+240.001 s]
/proc/loadavg: 2.12 1.88 1.95 4/217 2490
/proc/meminfo: memFree=29715052/32770624 swapFree=0/335664
[pid=2210] ppid=2206 vsize=14069564 CPUtime=261.61 cores=1,3,5,7
/proc/2210/stat : 2210 (java) S 2206 2210 12039 0 -1 1077944320 139169 12450 0 1 26072 81 5 3 20 0 15 0 99824183 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140731660905904 140054526336759 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 7 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
/proc/2210/statm: 3517391 434034 3500 1 0 3506005 0
[pid=2210/tid=2310] ppid=2206 vsize=14069564 CPUtime=238.44 cores=1,3,5,7
/proc/2210/task/2310/stat : 2310 (java) R 2206 2210 12039 0 -1 4202560 59317 12450 0 1 23805 31 5 3 20 0 15 0 99824207 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140054530570864 140054154949370 0 4 1 16800974 0 0 0 -1 5 0 0 5 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2311] ppid=2206 vsize=14069564 CPUtime=0.97 cores=1,3,5,7
/proc/2210/task/2311/stat : 2311 (java) S 2206 2210 12039 0 -1 1077944384 3740 12450 0 1 83 6 5 3 20 0 15 0 99824207 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140054460771216 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2312] ppid=2206 vsize=14069564 CPUtime=0.98 cores=1,3,5,7
/proc/2210/task/2312/stat : 2312 (java) S 2206 2210 12039 0 -1 1077944384 796 12450 0 1 84 6 5 3 20 0 15 0 99824207 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140054459718416 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2313] ppid=2206 vsize=14069564 CPUtime=0.94 cores=1,3,5,7
/proc/2210/task/2313/stat : 2313 (java) S 2206 2210 12039 0 -1 1077944384 939 12450 0 1 81 5 5 3 20 0 15 0 99824207 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140054458666128 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2314] ppid=2206 vsize=14069564 CPUtime=1.01 cores=1,3,5,7
/proc/2210/task/2314/stat : 2314 (java) S 2206 2210 12039 0 -1 1077944384 3925 12450 0 1 86 7 5 3 20 0 15 0 99824207 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140054457613328 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2315] ppid=2206 vsize=14069564 CPUtime=0.37 cores=1,3,5,7
/proc/2210/task/2315/stat : 2315 (java) S 2206 2210 12039 0 -1 1077944384 8677 12450 0 1 25 4 5 3 20 0 15 0 99824209 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053441382512 140054526347906 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2316] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2316/stat : 2316 (java) S 2206 2210 12039 0 -1 1077944384 76 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053440328608 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2317] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2317/stat : 2317 (java) S 2206 2210 12039 0 -1 1077944384 58 12450 0 1 0 0 5 3 20 0 15 0 99824209 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053439276160 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2323] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2323/stat : 2323 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053438224464 140054526355355 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2324] ppid=2206 vsize=14069564 CPUtime=8.48 cores=1,3,5,7
/proc/2210/task/2324/stat : 2324 (java) S 2206 2210 12039 0 -1 1077944384 15338 12450 0 1 838 2 5 3 20 0 15 0 99824212 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053437172336 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2325] ppid=2206 vsize=14069564 CPUtime=8.12 cores=1,3,5,7
/proc/2210/task/2325/stat : 2325 (java) S 2206 2210 12039 0 -1 1077944384 17319 12450 0 1 800 4 5 3 20 0 15 0 99824212 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053436119536 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2326] ppid=2206 vsize=14069564 CPUtime=2.7 cores=1,3,5,7
/proc/2210/task/2326/stat : 2326 (java) S 2206 2210 12039 0 -1 1077944384 26612 12450 0 1 256 6 5 3 20 0 15 0 99824212 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053435067248 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2327] ppid=2206 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/2210/task/2327/stat : 2327 (java) S 2206 2210 12039 0 -1 1077944384 3 12450 0 1 0 0 5 3 20 0 15 0 99824212 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053434014688 140054526346965 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
[pid=2210/tid=2340] ppid=2206 vsize=14069564 CPUtime=0.2 cores=1,3,5,7
/proc/2210/task/2340/stat : 2340 (java) S 2206 2210 12039 0 -1 1077944384 216 12450 0 1 4 8 5 3 20 0 15 0 99824217 14407233536 434034 18446744073709551615 4194304 4196468 140731660923360 140053432961456 140054526347906 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 39653376 140731660928979 140731660931764 140731660931764 140731660935119 0
Current children cumulated CPU time (s) 261.61
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 2210 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

Child status: 143
Real time (s): 240.036
CPU time (s): 261.666
CPU user time (s): 260.797
CPU system time (s): 0.868998
CPU usage (%): 109.011
Max. virtual memory (cumulated for all children) (KiB): 14069564

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 260.797
system time used= 0.868998
maximum resident set size= 1974224
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 154050
page faults= 1
swaps= 0
block input operations= 5424
block output operations= 440
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 16723
involuntary context switches= 435

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13965 second user time and 1.55454 second system time

The end

Launcher Data 

Begin job on node132 at 2017-08-06 08:27:29
IDJOB=4259693
IDBENCH=140572
IDSOLVER=2646
FILE ID=node132/4259693-1502001709
RUNJOBID= node132-1502000848-2186
PBS_JOBID= 
Free space on /tmp= 62032 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-4259693-1502001709/watcher-4259693-1502001709 -o /tmp/evaluation-result-4259693-1502001709/solver-4259693-1502001709 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502000848-2186 --watchdog 300  bin/concrete HOME/instance-4259693-1502001709.xml

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

MD5SUM BENCH= 1f968d7964fa1ced5b2605ed1734128f
RANDOM SEED=1538410741

node132.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.74
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.74
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.74
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.74
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:        31509580 kB
MemAvailable:   31994520 kB
Buffers:          197232 kB
Cached:           587688 kB
SwapCached:            0 kB
Active:           473636 kB
Inactive:         367012 kB
Active(anon):      56968 kB
Inactive(anon):    32628 kB
Active(file):     416668 kB
Inactive(file):   334384 kB
Unevictable:           0 kB
Mlocked:               0 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48896 kB
Writeback:             0 kB
AnonPages:         55880 kB
Mapped:            46304 kB
Shmem:             33468 kB
Slab:             125928 kB
SReclaimable:      99448 kB
SUnreclaim:        26480 kB
KernelStack:        3152 kB
PageTables:         4712 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     306932 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      354332 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      6144 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      114048 kB
DirectMap2M:    33431552 kB

Free space on /tmp at the end= 61984 MiB
End job on node132 at 2017-08-06 08:31:29