Trace number 4245158

Some explanations

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

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

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

Solver answer on this benchmark

Solver NameAnswerobjective functionCPU timeWall clock time
R1: Concrete 3.4SAT (TO)26 2400.14 2328.35

General information on the benchmark

NameGraphColoring/GraphColoring-m1-mono/
GraphColoring-lei450-25d.xml
MD5SUM1f90dacd0a92fbbf60104d292dc9abb3
Bench CategoryCOP (optimization problem)
Best result obtained on this benchmarkSAT TO
Best value of the objective obtained on this benchmark25
Best CPU time to get the best result obtained on this benchmark2400.04
Satisfiable
(Un)Satisfiability was proved
Number of variables450
Number of constraints17425
Number of domains1
Minimum domain size450
Maximum domain size450
Distribution of domain sizes[{"size":450,"count":450}]
Minimum variable degree12
Maximum variable degree158
Distribution of variable degrees[{"degree":12,"count":2},{"degree":13,"count":1},{"degree":14,"count":1},{"degree":18,"count":1},{"degree":19,"count":2},{"degree":20,"count":1},{"degree":21,"count":1},{"degree":22,"count":1},{"degree":23,"count":1},{"degree":24,"count":3},{"degree":25,"count":2},{"degree":26,"count":1},{"degree":27,"count":1},{"degree":28,"count":1},{"degree":29,"count":3},{"degree":31,"count":1},{"degree":32,"count":1},{"degree":33,"count":2},{"degree":34,"count":2},{"degree":35,"count":4},{"degree":36,"count":1},{"degree":37,"count":2},{"degree":38,"count":2},{"degree":39,"count":3},{"degree":40,"count":3},"...",{"degree":120,"count":4}, {"degree":121,"count":2}, {"degree":122,"count":3}, {"degree":123,"count":1}, {"degree":124,"count":1}, {"degree":125,"count":1}, {"degree":126,"count":1}, {"degree":127,"count":1}, {"degree":128,"count":3}, {"degree":129,"count":1}, {"degree":130,"count":1}, {"degree":131,"count":2}, {"degree":132,"count":1}, {"degree":133,"count":2}, {"degree":134,"count":2}, {"degree":136,"count":1}, {"degree":138,"count":1}, {"degree":139,"count":1}, {"degree":140,"count":1}, {"degree":142,"count":2}, {"degree":143,"count":2}, {"degree":146,"count":1}, {"degree":149,"count":1}, {"degree":152,"count":2}, {"degree":158,"count":1}]
Minimum constraint arity2
Maximum constraint arity2
Distribution of constraint arities[{"arity":2,"count":17425}]
Number of extensional constraints0
Number of intensional constraints17425
Distribution of constraint types[{"type":"intension","count":17425}]
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.80/2.11	c Concrete v3.4 running
27.72/9.20	o 449
28.09/9.37	o 448
28.35/9.48	o 447
28.77/9.60	o 446
29.03/9.73	o 445
29.16/9.84	o 444
29.36/9.96	o 443
29.56/10.06	o 442
29.67/10.17	o 441
29.79/10.27	o 440
29.89/10.37	o 439
30.04/10.48	o 438
30.23/10.58	o 437
30.51/10.68	o 436
30.73/10.78	o 435
31.33/10.90	o 434
31.33/11.00	o 433
31.89/11.11	o 432
32.17/11.22	o 431
32.31/11.31	o 430
32.31/11.39	o 429
32.43/11.48	o 428
32.55/11.57	o 427
32.65/11.66	o 426
32.75/11.75	o 425
32.85/11.83	o 424
32.97/11.92	o 423
33.07/12.01	o 422
33.07/12.10	o 421
33.18/12.19	o 420
33.28/12.28	o 419
33.37/12.37	o 418
33.48/12.46	o 417
33.58/12.56	o 416
33.67/12.65	o 415
33.78/12.74	o 414
33.88/12.83	o 413
33.98/12.92	o 412
34.09/13.01	o 411
34.19/13.10	o 410
34.19/13.19	o 409
34.30/13.29	o 408
34.40/13.38	o 407
34.49/13.47	o 406
34.59/13.56	o 405
34.70/13.65	o 404
34.79/13.75	o 403
34.89/13.84	o 402
35.00/13.93	o 401
35.11/14.02	o 400
35.20/14.11	o 399
35.31/14.20	o 398
35.31/14.29	o 397
35.42/14.39	o 396
35.52/14.48	o 395
35.60/14.58	o 394
35.77/14.67	o 393
35.86/14.76	o 392
35.97/14.85	o 391
36.06/14.94	o 390
36.17/15.02	o 389
36.27/15.11	o 388
36.27/15.20	o 387
36.37/15.28	o 386
36.47/15.37	o 385
36.59/15.46	o 384
36.69/15.55	o 383
36.77/15.66	o 382
36.88/15.77	o 381
36.97/15.85	o 380
37.07/15.94	o 379
37.17/16.03	o 378
37.27/16.12	o 377
37.38/16.20	o 376
37.38/16.29	o 375
37.48/16.38	o 374
37.58/16.47	o 373
37.69/16.56	o 372
37.79/16.64	o 371
37.89/16.73	o 370
37.99/16.82	o 369
38.09/16.90	o 368
38.09/16.99	o 367
38.19/17.08	o 366
38.29/17.17	o 365
38.39/17.26	o 364
38.49/17.34	o 363
38.59/17.43	o 362
38.69/17.52	o 361
38.69/17.60	o 360
38.80/17.69	o 359
38.90/17.78	o 358
39.00/17.87	o 357
39.10/17.95	o 356
39.20/18.04	o 355
39.30/18.13	o 354
39.40/18.22	o 353
39.50/18.31	o 352
39.50/18.40	o 351
39.60/18.48	o 350
39.70/18.57	o 349
39.81/18.66	o 348
39.92/18.75	o 347
40.02/18.83	o 346
40.11/18.92	o 345
40.21/19.00	o 344
40.21/19.09	o 343
40.31/19.18	o 342
40.41/19.26	o 341
40.51/19.34	o 340
40.65/19.44	o 339
40.75/19.53	o 338
40.86/19.61	o 337
40.86/19.69	o 336
40.96/19.78	o 335
41.07/19.87	o 334
41.17/19.95	o 333
41.26/20.04	o 332
41.36/20.13	o 331
41.46/20.21	o 330
41.56/20.30	o 329
41.56/20.38	o 328
41.66/20.47	o 327
41.76/20.56	o 326
41.86/20.64	o 325
41.96/20.73	o 324
42.06/20.81	o 323
42.06/20.90	o 322
42.18/20.99	o 321
42.28/21.07	o 320
42.37/21.15	o 319
42.47/21.24	o 318
42.57/21.33	o 317
42.67/21.41	o 316
42.77/21.50	o 315
42.77/21.58	o 314
42.87/21.67	o 313
42.97/21.76	o 312
43.07/21.84	o 311
43.17/21.93	o 310
43.28/22.01	o 309
43.28/22.10	o 308
43.38/22.18	o 307
43.47/22.27	o 306
43.58/22.35	o 305
43.68/22.44	o 304
43.78/22.52	o 303
43.88/22.61	o 302
43.88/22.69	o 301
43.98/22.78	o 300
44.08/22.86	o 299
44.18/22.95	o 298
44.28/23.03	o 297
44.39/23.11	o 296
44.39/23.20	o 295
44.49/23.29	o 294
44.58/23.37	o 293
44.68/23.46	o 292
44.78/23.54	o 291
44.88/23.63	o 290
44.98/23.72	o 289
45.08/23.80	o 288
45.08/23.89	o 287
45.18/23.97	o 286
45.28/24.07	o 285
45.44/24.15	o 284
45.55/24.24	o 283
45.65/24.33	o 282
45.74/24.41	o 281
45.74/24.49	o 280
45.84/24.58	o 279
45.94/24.66	o 278
46.04/24.75	o 277
46.14/24.83	o 276
46.24/24.92	o 275
46.35/25.00	o 274
46.35/25.09	o 273
46.45/25.18	o 272
46.55/25.26	o 271
46.65/25.34	o 270
46.75/25.43	o 269
46.85/25.51	o 268
46.95/25.60	o 267
46.95/25.68	o 266
47.05/25.77	o 265
47.15/25.86	o 264
47.25/25.94	o 263
47.35/26.03	o 262
47.45/26.11	o 261
47.45/26.20	o 260
47.55/26.28	o 259
47.65/26.36	o 258
47.79/26.45	o 257
47.89/26.53	o 256
47.98/26.62	o 255
48.08/26.70	o 254
48.08/26.78	o 253
48.18/26.87	o 252
48.28/26.95	o 251
48.38/27.04	o 250
48.48/27.12	o 249
48.58/27.21	o 248
48.68/27.30	o 247
48.68/27.38	o 246
48.78/27.47	o 245
48.89/27.56	o 244
48.99/27.64	o 243
49.08/27.73	o 242
49.18/27.81	o 241
49.30/27.90	o 240
49.30/27.98	o 239
49.40/28.07	o 238
49.50/28.15	o 237
49.60/28.24	o 236
49.70/28.32	o 235
49.81/28.41	o 234
49.81/28.49	o 233
49.91/28.58	o 232
50.02/28.67	o 231
50.12/28.75	o 230
50.21/28.84	o 229
50.32/28.93	o 228
50.41/29.01	o 227
50.51/29.10	o 226
50.51/29.19	o 225
50.61/29.28	o 224
50.71/29.36	o 223
50.81/29.45	o 222
50.91/29.54	o 221
51.02/29.63	o 220
51.12/29.72	o 219
51.12/29.80	o 218
51.23/29.89	o 217
51.32/29.98	o 216
51.41/30.07	o 215
51.52/30.16	o 214
51.62/30.26	o 213
51.80/30.34	o 212
51.90/30.43	o 211
52.00/30.51	o 210
52.10/30.60	o 209
52.10/30.68	o 208
52.20/30.77	o 207
52.31/30.85	o 206
52.41/30.94	o 205
52.50/31.03	o 204
52.60/31.11	o 203
52.60/31.20	o 202
52.70/31.28	o 201
52.80/31.36	o 200
52.91/31.45	o 199
53.01/31.53	o 198
53.11/31.62	o 197
53.21/31.70	o 196
53.21/31.78	o 195
53.31/31.87	o 194
53.43/31.95	o 193
53.56/32.04	o 192
53.67/32.12	o 191
53.77/32.20	o 190
53.77/32.29	o 189
53.87/32.37	o 188
53.97/32.46	o 187
54.07/32.54	o 186
54.17/32.63	o 185
54.27/32.71	o 184
54.27/32.79	o 183
54.37/32.88	o 182
54.47/32.96	o 181
54.58/33.05	o 180
54.68/33.13	o 179
54.77/33.21	o 178
54.87/33.30	o 177
54.87/33.38	o 176
54.97/33.47	o 175
55.07/33.55	o 174
55.17/33.63	o 173
55.27/33.72	o 172
55.37/33.80	o 171
55.37/33.89	o 170
55.47/33.98	o 169
55.57/34.06	o 168
55.68/34.15	o 167
55.78/34.23	o 166
55.87/34.31	o 165
55.97/34.40	o 164
55.97/34.48	o 163
56.07/34.57	o 162
56.17/34.65	o 161
56.27/34.74	o 160
56.37/34.83	o 159
56.47/34.91	o 158
56.47/35.00	o 157
56.57/35.08	o 156
56.67/35.17	o 155
56.78/35.25	o 154
56.88/35.34	o 153
56.97/35.42	o 152
57.07/35.50	o 151
57.07/35.59	o 150
57.17/35.67	o 149
57.27/35.76	o 148
57.37/35.85	o 147
57.47/35.93	o 146
57.57/36.02	o 145
57.67/36.10	o 144
57.67/36.19	o 143
57.77/36.27	o 142
57.88/36.36	o 141
57.98/36.44	o 140
58.07/36.54	o 139
58.25/36.63	o 138
58.35/36.71	o 137
58.35/36.79	o 136
58.45/36.88	o 135
58.55/36.96	o 134
58.65/37.04	o 133
58.75/37.13	o 132
58.85/37.21	o 131
58.85/37.29	o 130
58.96/37.38	o 129
59.06/37.46	o 128
59.16/37.55	o 127
59.26/37.63	o 126
59.36/37.71	o 125
59.46/37.80	o 124
59.46/37.88	o 123
59.56/37.97	o 122
59.66/38.05	o 121
59.76/38.14	o 120
59.86/38.22	o 119
59.96/38.31	o 118
59.96/38.39	o 117
60.06/38.47	o 116
60.16/38.56	o 115
60.26/38.65	o 114
60.36/38.73	o 113
60.46/38.82	o 112
60.56/38.90	o 111
60.56/38.98	o 110
60.66/39.07	o 109
60.76/39.15	o 108
60.86/39.24	o 107
60.96/39.32	o 106
61.06/39.40	o 105
61.06/39.49	o 104
61.16/39.57	o 103
61.26/39.66	o 102
61.36/39.74	o 101
61.46/39.83	o 100
61.56/39.91	o 99
61.66/40.00	o 98
61.66/40.09	o 97
61.79/40.18	o 96
61.93/40.30	o 95
62.32/40.45	o 94
62.47/40.54	o 93
62.58/40.63	o 92
62.71/40.71	o 91
62.71/40.80	o 90
62.81/40.88	o 89
62.90/40.97	o 88
63.00/41.06	o 87
63.10/41.15	o 86
63.20/41.23	o 85
63.30/41.32	o 84
63.49/41.41	o 83
63.83/41.50	o 82
64.11/41.60	o 81
64.11/41.68	o 80
64.22/41.77	o 79
64.33/41.85	o 78
64.43/41.94	o 77
64.53/42.03	o 76
64.63/42.11	o 75
64.63/42.20	o 74
64.73/42.28	o 73
64.83/42.37	o 72
64.94/42.45	o 71
65.04/42.54	o 70
65.14/42.62	o 69
65.24/42.71	o 68
65.24/42.79	o 67
65.35/42.88	o 66
65.47/42.96	o 65
65.59/43.05	o 64
65.68/43.14	o 63
65.78/43.22	o 62
65.88/43.31	o 61
66.01/43.40	o 60
66.01/43.49	o 59
66.11/43.58	o 58
66.22/43.67	o 57
66.31/43.75	o 56
66.41/43.84	o 55
66.52/43.93	o 54
66.63/44.02	o 53
66.63/44.10	o 52
66.72/44.19	o 51
66.82/44.28	o 50
66.92/44.36	o 49
67.01/44.45	o 48
67.12/44.54	o 47
67.22/44.63	o 46
67.37/44.72	o 45
67.47/44.80	o 44
67.47/44.88	o 43
67.57/44.97	o 42
67.67/45.05	o 41
67.78/45.14	o 40
67.88/45.22	o 39
68.05/45.33	o 38
68.22/45.43	o 37
68.45/45.59	o 36
68.66/45.69	o 35
68.86/45.80	o 34
69.17/45.90	o 33
69.27/46.00	o 32
69.37/46.10	o 31
69.37/46.20	o 30
69.48/46.30	o 29
69.73/46.43	o 28
70.23/46.61	o 27
73.04/49.23	o 26
2400.07/2328.31	java.util.concurrent.TimeoutException
2400.07/2328.31		at concrete.MAC.mac(MAC.scala:74)
2400.07/2328.31		at concrete.MAC.$anonfun$oneRun$1(MAC.scala:145)
2400.07/2328.31		at scala.util.Try$.apply(Try.scala:209)
2400.07/2328.31		at cspom.StatisticsManager$.$anonfun$measure$1(StatisticsManager.scala:194)
2400.07/2328.31		at cspom.StatisticsManager$.$anonfun$measureTry$1(StatisticsManager.scala:182)
2400.07/2328.31		at scala.runtime.java8.JFunction0$mcZ$sp.apply(JFunction0$mcZ$sp.java:12)
2400.07/2328.31		at org.scalameter.MeasureBuilder.$anonfun$measure$1(MeasureBuilder.scala:61)
2400.07/2328.31		at org.scalameter.Measurer$Default.measure(Measurer.scala:131)
2400.07/2328.31		at org.scalameter.MeasureBuilder.measureWith(MeasureBuilder.scala:51)
2400.07/2328.31		at org.scalameter.MeasureBuilder.measure(MeasureBuilder.scala:61)
2400.07/2328.31		at cspom.StatisticsManager$.measureTry(StatisticsManager.scala:181)
2400.07/2328.31		at cspom.StatisticsManager$.measure(StatisticsManager.scala:194)
2400.07/2328.31		at concrete.MAC.oneRun(MAC.scala:146)
2400.07/2328.31		at concrete.MAC.nextSolution(MAC.scala:166)
2400.07/2328.31		at concrete.MAC.$anonfun$nextSolution$2(MAC.scala:196)
2400.07/2328.31		at concrete.ProblemState.map(ProblemState.scala:203)
2400.07/2328.31		at concrete.ProblemState.map(ProblemState.scala:188)
2400.07/2328.31		at concrete.MAC.nextSolution(MAC.scala:195)
2400.07/2328.31		at concrete.Solver.hasNext(Solver.scala:202)
2400.07/2328.31		at scala.collection.Iterator.toStream(Iterator.scala:1403)
2400.07/2328.31		at scala.collection.Iterator.toStream$(Iterator.scala:1402)
2400.07/2328.31		at concrete.Solver.toStream(Solver.scala:73)
2400.07/2328.31		at scala.collection.Iterator.$anonfun$toStream$1(Iterator.scala:1403)
2400.07/2328.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1169)
2400.07/2328.31		at scala.collection.immutable.Stream$Cons.tail(Stream.scala:1159)
2400.07/2328.31		at scala.collection.immutable.Stream.foreach(Stream.scala:531)
2400.07/2328.31		at concrete.runner.ConcreteRunner.$anonfun$run$10(ConcreteRunner.scala:157)
2400.07/2328.31		at scala.util.Success.$anonfun$map$1(Try.scala:251)
2400.07/2328.31		at scala.util.Success.map(Try.scala:209)
2400.07/2328.31		at concrete.runner.ConcreteRunner.run(ConcreteRunner.scala:154)
2400.07/2328.31		at concrete.runner.ConcreteRunner.run$(ConcreteRunner.scala:72)
2400.07/2328.31		at concrete.runner.XCSP3Concrete$.run(XCSP3Concrete.scala:17)
2400.07/2328.31		at concrete.runner.XCSP3Concrete$.delayedEndpoint$concrete$runner$XCSP3Concrete$1(XCSP3Concrete.scala:119)
2400.07/2328.31		at concrete.runner.XCSP3Concrete$delayedInit$body.apply(XCSP3Concrete.scala:17)
2400.07/2328.31		at scala.Function0.apply$mcV$sp(Function0.scala:34)
2400.07/2328.31		at scala.Function0.apply$mcV$sp$(Function0.scala:34)
2400.07/2328.31		at scala.runtime.AbstractFunction0.apply$mcV$sp(AbstractFunction0.scala:12)
2400.07/2328.31		at scala.App.$anonfun$main$1$adapted(App.scala:76)
2400.07/2328.31		at scala.collection.immutable.List.foreach(List.scala:389)
2400.07/2328.31		at scala.App.main(App.scala:76)
2400.07/2328.31		at scala.App.main$(App.scala:74)
2400.07/2328.31		at concrete.runner.XCSP3Concrete$.main(XCSP3Concrete.scala:17)
2400.07/2328.31		at concrete.runner.XCSP3Concrete.main(XCSP3Concrete.scala)
2400.07/2328.31	v <instantiation cost="26">
2400.07/2328.31	v       <list>
2400.07/2328.31	v         x[0] x[1] x[2] x[3] x[4] x[5] x[6] x[7] x[8] x[9] x[10] x[11] x[12] x[13] x[14] x[15] x[16] x[17] x[18] x[19] x[20] x[21] x[22] x[23] x[24] x[25] x[26] x[27] x[28] x[29] x[30] x[31] x[32] x[33] x[34] x[35] x[36] x[37] x[38] x[39] x[40] x[41] x[42] x[43] x[44] x[45] x[46] x[47] x[48] x[49] x[50] x[51] x[52] x[53] x[54] x[55] x[56] x[57] x[58] x[59] x[60] x[61] x[62] x[63] x[64] x[65] x[66] x[67] x[68] x[69] x[70] x[71] x[72] x[73] x[74] x[75] x[76] x[77] x[78] x[79] x[80] x[81] x[82] x[83] x[84] x[85] x[86] x[87] x[88] x[89] x[90] x[91] x[92] x[93] x[94] x[95] x[96] x[97] x[98] x[99] x[100] x[101] x[102] x[103] x[104] x[105] x[106] x[107] x[108] x[109] x[110] x[111] x[112] x[113] x[114] x[115] x[116] x[117] x[118] x[119] x[120] x[121] x[122] x[123] x[124] x[125] x[126] x[127] x[128] x[129] x[130] x[131] x[132] x[133] x[134] x[135] x[136] x[137] x[138] x[139] x[140] x[141] x[142] x[143] x[144] x[145] x[146] x[147] x[148] x[149] x[150] x[151] x[152] x[153] x[154] x[155] x[156] x[157] x[158] x[159] x[160] x[161] x[162] x[163] x[164] x[165] x[166] x[167] x[168] x[169] x[170] x[171] x[172] x[173] x[174] x[175] x[176] x[177] x[178] x[179] x[180] x[181] x[182] x[183] x[184] x[185] x[186] x[187] x[188] x[189] x[190] x[191] x[192] x[193] x[194] x[195] x[196] x[197] x[198] x[199] x[200] x[201] x[202] x[203] x[204] x[205] x[206] x[207] x[208] x[209] x[210] x[211] x[212] x[213] x[214] x[215] x[216] x[217] x[218] x[219] x[220] x[221] x[222] x[223] x[224] x[225] x[226] x[227] x[228] x[229] x[230] x[231] x[232] x[233] x[234] x[235] x[236] x[237] x[238] x[239] x[240] x[241] x[242] x[243] x[244] x[245] x[246] x[247] x[248] x[249] x[250] x[251] x[252] x[253] x[254] x[255] x[256] x[257] x[258] x[259] x[260] x[261] x[262] x[263] x[264] x[265] x[266] x[267] x[268] x[269] x[270] x[271] x[272] x[273] x[274] x[275] x[276] x[277] x[278] x[279] x[280] x[281] x[282] x[283] x[284] x[285] x[286] x[287] x[288] x[289] x[290] x[291] x[292] x[293] x[294] x[295] x[296] x[297] x[298] x[299] x[300] x[301] x[302] x[303] x[304] x[305] x[306] x[307] x[308] x[309] x[310] x[311] x[312] x[313] x[314] x[315] x[316] x[317] x[318] x[319] x[320] x[321] x[322] x[323] x[324] x[325] x[326] x[327] x[328] x[329] x[330] x[331] x[332] x[333] x[334] x[335] x[336] x[337] x[338] x[339] x[340] x[341] x[342] x[343] x[344] x[345] x[346] x[347] x[348] x[349] x[350] x[351] x[352] x[353] x[354] x[355] x[356] x[357] x[358] x[359] x[360] x[361] x[362] x[363] x[364] x[365] x[366] x[367] x[368] x[369] x[370] x[371] x[372] x[373] x[374] x[375] x[376] x[377] x[378] x[379] x[380] x[381] x[382] x[383] x[384] x[385] x[386] x[387] x[388] x[389] x[390] x[391] x[392] x[393] x[394] x[395] x[396] x[397] x[398] x[399] x[400] x[401] x[402] x[403] x[404] x[405] x[406] x[407] x[408] x[409] x[410] x[411] x[412] x[413] x[414] x[415] x[416] x[417] x[418] x[419] x[420] x[421] x[422] x[423] x[424] x[425] x[426] x[427] x[428] x[429] x[430] x[431] x[432] x[433] x[434] x[435] x[436] x[437] x[438] x[439] x[440] x[441] x[442] x[443] x[444] x[445] x[446] x[447] x[448] x[449]
2400.07/2328.31	v       </list>
2400.07/2328.31	v       <values>
2400.07/2328.31	v         7 18 26 15 10 7 24 5 4 8 25 22 16 23 6 19 9 14 17 12 9 19 6 19 1 7 18 17 10 15 10 24 15 22 4 11 5 21 16 2 4 16 16 21 18 0 26 24 26 19 7 20 4 7 18 5 10 24 5 16 11 23 25 26 15 26 21 5 22 16 6 19 0 11 25 26 4 19 7 8 21 10 9 20 21 4 17 8 19 21 19 24 14 13 18 8 24 25 24 17 13 14 5 10 20 17 24 8 21 3 22 12 10 11 14 22 23 23 26 12 8 20 6 17 6 18 17 19 10 4 22 24 23 12 3 19 13 18 10 6 9 12 23 2 3 8 20 16 20 4 25 23 19 22 8 18 21 15 11 20 9 23 0 2 17 17 0 25 2 9 15 24 6 9 22 26 17 26 1 1 14 22 13 12 20 6 17 0 24 21 16 13 20 18 23 13 3 6 3 14 0 21 19 23 16 25 7 16 20 11 18 21 16 8 19 1 23 13 2 17 9 20 7 23 11 17 8 26 8 26 22 25 13 22 11 22 22 0 11 16 21 5 15 10 7 24 19 3 22 26 24 17 26 26 21 6 17 9 24 1 1 12 11 2 4 12 6 20 2 1 9 15 3 23 15 5 11 12 19 2 0 21 5 24 14 5 3 11 4 17 14 0 18 10 3 23 23 22 15 25 5 17 1 24 0 2 14 3 13 4 22 22 26 20 24 23 26 23 6 3 10 24 17 21 8 12 26 24 1 2 25 7 15 8 24 7 18 22 15 25 18 21 25 13 12 16 24 26 18 9 19 8 26 25 9 15 9 17 0 20 1 22 14 13 16 13 21 26 21 12 14 12 1 26 10 21 19 16 26 5 13 24 15 13 4 11 4 2 2 11 12 11 18 25 12 16 26 6 21 8 18 18 19 15 5 21 14 23 25 23 4 7 22 20 13 19 8 23 7 9 4 21 16 14 5 22 6 15 25 11 18 20 9 10 1 1 20 22 12 3 7 12 14 25 26 25 0 17 18 16
2400.07/2328.32	v       </values>
2400.07/2328.32	v     </instantiation>
2400.07/2328.32	s SATISFIABLE

Verifier Data 

OK	26

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-4245158-1500700194/watcher-4245158-1500700194 -o /tmp/evaluation-result-4245158-1500700194/solver-4245158-1500700194 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16358 --watchdog 2560 bin/concrete HOME/instance-4245158-1500700194.xml 

pid=19838
running on 8 cores: 0,2,4,6,8,10,12,14

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


[startup+0 s]
/proc/loadavg: 1.35 1.41 1.52 3/261 19841
/proc/meminfo: memFree=30789196/32770624 swapFree=5912/100532
[pid=19841] ppid=19838 vsize=9508 CPUtime=0 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (bash) S 19838 19841 16327 0 -1 4202496 687 1531 0 0 0 0 0 0 20 0 1 0 5289041 9736192 351 33554432000 4194304 5098028 140721394697728 140721394695368 140409014475776 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 32002048 140721394705678 140721394705763 140721394705763 140721394708462 0
/proc/19841/statm: 2377 351 278 221 0 86 0

[startup+0.100122 s]
/proc/loadavg: 1.35 1.41 1.52 3/261 19841
/proc/meminfo: memFree=30789196/32770624 swapFree=5912/100532
[pid=19841] ppid=19838 vsize=9640 CPUtime=0.01 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (bash) S 19838 19841 16327 0 -1 4202496 885 6410 0 0 0 0 0 1 20 0 1 0 5289041 9871360 378 33554432000 4194304 5098028 140721394697728 140721394691736 140409014475776 0 0 4100 65536 18446744071580971376 0 0 17 8 0 0 0 0 0 7196144 7232144 32002048 140721394705678 140721394705763 140721394705763 140721394708462 0
/proc/19841/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9640

[startup+0.200281 s]
/proc/loadavg: 1.35 1.41 1.52 3/261 19841
/proc/meminfo: memFree=30789196/32770624 swapFree=5912/100532
[pid=19841] ppid=19838 vsize=10901872 CPUtime=0.19 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 5700 12609 0 0 7 2 7 3 20 0 20 0 5289041 11163516928 6477 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2725468 6477 2701 1 0 2713890 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 10901872

[startup+0.300266 s]
/proc/loadavg: 1.35 1.41 1.52 3/261 19841
/proc/meminfo: memFree=30789196/32770624 swapFree=5912/100532
[pid=19841] ppid=19838 vsize=10902292 CPUtime=0.34 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 9085 12609 0 0 22 2 7 3 20 0 20 0 5289041 11163947008 10060 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2725573 10060 2948 1 0 2713890 0
Current children cumulated CPU time (s) 0.34
Current children cumulated vsize (KiB) 10902292

[startup+0.700255 s]
/proc/loadavg: 1.35 1.41 1.52 3/261 19841
/proc/meminfo: memFree=30789196/32770624 swapFree=5912/100532
[pid=19841] ppid=19838 vsize=10902720 CPUtime=1.01 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 13114 12609 0 0 86 5 7 3 20 0 20 0 5289041 11164385280 16349 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2725680 16349 3232 1 0 2713890 0
Current children cumulated CPU time (s) 1.01
Current children cumulated vsize (KiB) 10902720

[startup+1.50159 s]
/proc/loadavg: 1.32 1.40 1.52 3/281 19914
/proc/meminfo: memFree=30682336/32770624 swapFree=5912/100624
[pid=19841] ppid=19838 vsize=10915392 CPUtime=2.32 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 27642 12609 0 0 208 14 7 3 20 0 20 0 5289041 11177361408 44289 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2728848 44289 3420 1 0 2716962 0
[pid=19841/tid=19896] ppid=19838 vsize=10915392 CPUtime=1.41 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 19822 12609 0 0 125 6 7 3 20 0 20 0 5289053 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290668590320 140290645772114 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 12 12609 0 0 0 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 70 12609 0 0 1 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 13 12609 0 0 1 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 20 12609 0 0 0 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 18 12609 0 0 1 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 33 12609 0 0 0 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 136 12609 0 0 1 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 33 12609 0 0 1 0 7 3 20 0 20 0 5289054 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10915392 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 1600 12609 0 0 1 0 7 3 20 0 20 0 5289056 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 55 12609 0 0 0 0 7 3 20 0 20 0 5289057 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290137503456 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 44 12609 0 0 0 0 7 3 20 0 20 0 5289057 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290136450288 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10915392 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) R 19838 19841 16327 0 -1 1077944384 677 12609 0 0 13 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290134345968 140290664376962 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10915392 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 517 12609 0 0 14 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10915392 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 993 12609 0 0 15 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10915392 CPUtime=0.37 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 1456 12609 0 0 27 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10915392 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 6 12609 0 0 0 0 7 3 20 0 20 0 5289061 11177361408 44289 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 2.32
Current children cumulated vsize (KiB) 10915392

[startup+3.10072 s]
/proc/loadavg: 1.32 1.40 1.52 5/281 19914
/proc/meminfo: memFree=30611252/32770624 swapFree=5912/100908
[pid=19841] ppid=19838 vsize=10923772 CPUtime=7.41 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 41482 12609 0 0 703 28 7 3 20 0 20 0 5289041 11185942528 72788 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2730943 72788 3496 1 0 2718498 0
[pid=19841/tid=19896] ppid=19838 vsize=10923772 CPUtime=2.98 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 24565 12609 0 0 278 10 7 3 20 0 20 0 5289053 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290668594416 140290298299896 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 59 12609 0 0 1 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 81 12609 0 0 2 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 130 12609 0 0 1 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 33 12609 0 0 1 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 27 12609 0 0 2 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 54 12609 0 0 1 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10923772 CPUtime=0.12 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 144 12609 0 0 1 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10923772 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 43 12609 0 0 2 1 7 3 20 0 20 0 5289054 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10923772 CPUtime=0.11 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 1659 12609 0 0 1 0 7 3 20 0 20 0 5289056 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 55 12609 0 0 0 0 7 3 20 0 20 0 5289057 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290137503456 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 44 12609 0 0 0 0 7 3 20 0 20 0 5289057 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290136450304 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10923772 CPUtime=1.02 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) R 19838 19841 16327 0 -1 4202560 2134 12609 0 0 91 1 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290134337296 140290649491737 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10923772 CPUtime=1.23 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) R 19838 19841 16327 0 -1 4202560 4344 12609 0 0 112 1 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290133293424 140290645910407 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10923772 CPUtime=1.07 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) R 19838 19841 16327 0 -1 4202560 2300 12609 0 0 96 1 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290132240368 140290657350857 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10923772 CPUtime=1.14 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 3664 12609 0 0 103 1 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10923772 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 9 12609 0 0 0 0 7 3 20 0 20 0 5289061 11185942528 72788 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 7.41
Current children cumulated vsize (KiB) 10923772

[startup+6.30078 s]
/proc/loadavg: 1.54 1.45 1.53 6/281 19914
/proc/meminfo: memFree=30394516/32770624 swapFree=5912/100912
[pid=19841] ppid=19838 vsize=10927868 CPUtime=18.91 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 70942 12609 0 0 1809 72 7 3 20 0 20 0 5289041 11190136832 132752 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2731967 132752 3512 1 0 2719522 0
[pid=19841/tid=19896] ppid=19838 vsize=10927868 CPUtime=6.03 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 29441 12609 0 0 581 12 7 3 20 0 20 0 5289053 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290668598968 140290292000592 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 244 12609 0 0 9 6 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 164 12609 0 0 9 6 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 236 12609 0 0 9 6 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10927868 CPUtime=0.21 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 152 12609 0 0 7 4 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10927868 CPUtime=0.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 112 12609 0 0 9 6 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10927868 CPUtime=0.22 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 89 12609 0 0 7 5 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10927868 CPUtime=0.23 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 222 12609 0 0 8 5 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10927868 CPUtime=0.24 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 555 12609 0 0 9 5 7 3 20 0 20 0 5289054 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10927868 CPUtime=0.13 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 1851 12609 0 0 3 0 7 3 20 0 20 0 5289056 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 59 12609 0 0 0 0 7 3 20 0 20 0 5289057 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290137503456 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 50 12609 0 0 0 0 7 3 20 0 20 0 5289057 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290136450304 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10927868 CPUtime=3.35 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) S 19838 19841 16327 0 -1 1077944384 7729 12609 0 0 323 2 7 3 20 0 20 0 5289060 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290134345968 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10927868 CPUtime=3.43 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 10111 12609 0 0 331 2 7 3 20 0 20 0 5289060 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10927868 CPUtime=3.37 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 9611 12609 0 0 325 2 7 3 20 0 20 0 5289060 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10927868 CPUtime=1.84 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 8144 12609 0 0 171 3 7 3 20 0 20 0 5289060 11190136832 132752 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10927868 CPUtime=0.1 cores=0,2,4,6,8,10,12,14

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

[pid=19841/tid=19910] ppid=19838 vsize=10931964 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 18591 12609 0 0 614 4 7 3 20 0 20 0 5289060 11194331136 508383 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10931964 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 17831 12609 0 0 611 4 7 3 20 0 20 0 5289060 11194331136 508383 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10931964 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 17961 12609 0 0 274 5 7 3 20 0 20 0 5289060 11194331136 508383 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 508383 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10931964 CPUtime=1.27 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 2485 12609 0 0 64 53 7 3 20 0 20 0 5289061 11194331136 508383 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 2332.43
Current children cumulated vsize (KiB) 10931964

[startup+2322.3 s]
/proc/loadavg: 1.48 1.54 1.56 3/281 20132
/proc/meminfo: memFree=29405448/32770624 swapFree=5912/103184
[pid=19841] ppid=19838 vsize=10931964 CPUtime=2393.91 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 344510 12609 0 0 238947 434 7 3 20 0 20 0 5289041 11194331136 509410 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2732991 509410 3530 1 0 2720546 0
[pid=19841/tid=19896] ppid=19838 vsize=10931964 CPUtime=2307.23 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 97005 12609 0 0 230655 58 7 3 20 0 20 0 5289053 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290668599328 140290311090916 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10931964 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 25065 12609 0 0 697 40 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10931964 CPUtime=7.59 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 15204 12609 0 0 708 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10931964 CPUtime=7.45 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 16591 12609 0 0 694 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10931964 CPUtime=7.35 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 17041 12609 0 0 687 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10931964 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 16282 12609 0 0 707 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10931964 CPUtime=7.52 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 22550 12609 0 0 703 39 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10931964 CPUtime=7.4 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 11588 12609 0 0 693 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10931964 CPUtime=7.39 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 14137 12609 0 0 691 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10931964 CPUtime=5.28 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 34480 12609 0 0 489 29 7 3 20 0 20 0 5289056 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 68 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290137503520 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 58 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290136450304 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10931964 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) S 19838 19841 16327 0 -1 1077944384 15381 12609 0 0 608 3 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290134345968 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10931964 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 18595 12609 0 0 614 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10931964 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 17835 12609 0 0 611 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10931964 CPUtime=2.89 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 17965 12609 0 0 274 5 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10931964 CPUtime=1.29 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 2528 12609 0 0 66 53 7 3 20 0 20 0 5289061 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 2393.91
Current children cumulated vsize (KiB) 10931964



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+2328.3 s]
/proc/loadavg: 1.44 1.53 1.56 3/281 20132
/proc/meminfo: memFree=29405604/32770624 swapFree=5912/103188
[pid=19841] ppid=19838 vsize=10931964 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 344576 12609 0 0 239562 435 7 3 20 0 20 0 5289041 11194331136 509410 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2732991 509410 3530 1 0 2720546 0
[pid=19841/tid=19896] ppid=19838 vsize=10931964 CPUtime=2313.18 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 97055 12609 0 0 231250 58 7 3 20 0 20 0 5289053 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290668598992 140290303961854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10931964 CPUtime=7.48 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 25066 12609 0 0 698 40 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10931964 CPUtime=7.62 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 15206 12609 0 0 711 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10931964 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 16592 12609 0 0 696 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10931964 CPUtime=7.37 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 17043 12609 0 0 689 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10931964 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 16283 12609 0 0 709 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10931964 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 22551 12609 0 0 705 39 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10931964 CPUtime=7.43 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 11590 12609 0 0 696 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10931964 CPUtime=7.42 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 14139 12609 0 0 694 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10931964 CPUtime=5.3 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 34482 12609 0 0 491 29 7 3 20 0 20 0 5289056 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 68 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290137503520 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 58 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290136450304 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10931964 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) S 19838 19841 16327 0 -1 1077944384 15381 12609 0 0 608 3 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290134345968 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10931964 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 18595 12609 0 0 614 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10931964 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 17835 12609 0 0 611 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10931964 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 17965 12609 0 0 275 5 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10931964 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 2530 12609 0 0 66 54 7 3 20 0 20 0 5289061 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10931964

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 19841 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+2328.3 s]
/proc/loadavg: 1.44 1.53 1.56 3/281 20132
/proc/meminfo: memFree=29405604/32770624 swapFree=5912/103188
[pid=19841] ppid=19838 vsize=10931964 CPUtime=2400.07 cores=0,2,4,6,8,10,12,14
/proc/19841/stat : 19841 (java) S 19838 19841 16327 0 -1 1077944320 344576 12609 0 0 239562 435 7 3 20 0 20 0 5289041 11194331136 509410 33554432000 4194304 4196468 140725989122432 140725989104976 140290664365815 0 0 0 16800975 18446744073709551615 0 0 17 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
/proc/19841/statm: 2732991 509410 3530 1 0 2720546 0
[pid=19841/tid=19896] ppid=19838 vsize=10931964 CPUtime=2313.18 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19896/stat : 19896 (java) R 19838 19841 16327 0 -1 4202560 97055 12609 0 0 231250 58 7 3 20 0 20 0 5289053 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290668598992 140290303961854 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19897] ppid=19838 vsize=10931964 CPUtime=7.48 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19897/stat : 19897 (java) S 19838 19841 16327 0 -1 1077944384 25066 12609 0 0 698 40 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290616986640 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19898] ppid=19838 vsize=10931964 CPUtime=7.62 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19898/stat : 19898 (java) S 19838 19841 16327 0 -1 1077944384 15206 12609 0 0 711 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290615934096 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19899] ppid=19838 vsize=10931964 CPUtime=7.47 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19899/stat : 19899 (java) S 19838 19841 16327 0 -1 1077944384 16592 12609 0 0 696 41 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290614881040 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19900] ppid=19838 vsize=10931964 CPUtime=7.37 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19900/stat : 19900 (java) S 19838 19841 16327 0 -1 1077944384 17043 12609 0 0 689 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290613828496 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19901] ppid=19838 vsize=10931964 CPUtime=7.56 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19901/stat : 19901 (java) S 19838 19841 16327 0 -1 1077944384 16283 12609 0 0 709 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290612775440 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19902] ppid=19838 vsize=10931964 CPUtime=7.54 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19902/stat : 19902 (java) S 19838 19841 16327 0 -1 1077944384 22551 12609 0 0 705 39 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290611722896 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19903] ppid=19838 vsize=10931964 CPUtime=7.43 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19903/stat : 19903 (java) S 19838 19841 16327 0 -1 1077944384 11590 12609 0 0 696 37 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290265110800 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 8 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19904] ppid=19838 vsize=10931964 CPUtime=7.42 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19904/stat : 19904 (java) S 19838 19841 16327 0 -1 1077944384 14139 12609 0 0 694 38 7 3 20 0 20 0 5289054 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290264058256 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19905] ppid=19838 vsize=10931964 CPUtime=5.3 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19905/stat : 19905 (java) S 19838 19841 16327 0 -1 1077944384 34482 12609 0 0 491 29 7 3 20 0 20 0 5289056 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290138557168 140290664376962 0 0 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19906] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19906/stat : 19906 (java) S 19838 19841 16327 0 -1 1077944384 68 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290137503520 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19907] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19907/stat : 19907 (java) S 19838 19841 16327 0 -1 1077944384 58 12609 0 0 0 0 7 3 20 0 20 0 5289057 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290136450304 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19908] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19908/stat : 19908 (java) S 19838 19841 16327 0 -1 1077944384 1 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290135398864 140290664384411 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19909] ppid=19838 vsize=10931964 CPUtime=6.21 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19909/stat : 19909 (java) S 19838 19841 16327 0 -1 1077944384 15381 12609 0 0 608 3 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290134345968 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19910] ppid=19838 vsize=10931964 CPUtime=6.28 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19910/stat : 19910 (java) S 19838 19841 16327 0 -1 1077944384 18595 12609 0 0 614 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290133293424 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19911] ppid=19838 vsize=10931964 CPUtime=6.25 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19911/stat : 19911 (java) S 19838 19841 16327 0 -1 1077944384 17835 12609 0 0 611 4 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290132240368 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19912] ppid=19838 vsize=10931964 CPUtime=2.9 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19912/stat : 19912 (java) S 19838 19841 16327 0 -1 1077944384 17965 12609 0 0 275 5 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290131187824 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19913] ppid=19838 vsize=10931964 CPUtime=0.1 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19913/stat : 19913 (java) S 19838 19841 16327 0 -1 1077944384 3 12609 0 0 0 0 7 3 20 0 20 0 5289060 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290130136032 140290664376021 0 4 0 16800975 18446744071579849748 0 0 -1 10 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
[pid=19841/tid=19914] ppid=19838 vsize=10931964 CPUtime=1.3 cores=0,2,4,6,8,10,12,14
/proc/19841/task/19914/stat : 19914 (java) S 19838 19841 16327 0 -1 1077944384 2530 12609 0 0 66 54 7 3 20 0 20 0 5289061 11194331136 509410 33554432000 4194304 4196468 140725989122432 140290129083568 140290664376962 0 4 0 16800975 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 30404608 140725989124801 140725989127575 140725989127575 140725989130191 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 10931964

Child status: 143
Real time (s): 2328.35
CPU time (s): 2400.14
CPU user time (s): 2395.72
CPU system time (s): 4.42125
CPU usage (%): 103.083
Max. virtual memory (cumulated for all children) (KiB): 10931964

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2395.72
system time used= 4.42125
maximum resident set size= 2238548
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 360623
page faults= 0
swaps= 0
block input operations= 8
block output operations= 2704
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 223082
involuntary context switches= 162289

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 16.3738 second user time and 20.14 second system time

The end

Launcher Data 

Begin job on node107 at 2017-07-22 07:09:54
IDJOB=4245158
IDBENCH=120600
IDSOLVER=2630
FILE ID=node107/4245158-1500700194
RUNJOBID= node107-1500682951-16358
PBS_JOBID= 20623334
Free space on /tmp= 61852 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/GraphColoring/GraphColoring-m1-mono/GraphColoring-lei450-25d.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4245158-1500700194/watcher-4245158-1500700194 -o /tmp/evaluation-result-4245158-1500700194/solver-4245158-1500700194 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node107-1500682951-16358 --watchdog 2560  bin/concrete HOME/instance-4245158-1500700194.xml

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

MD5SUM BENCH= 1f90dacd0a92fbbf60104d292dc9abb3
RANDOM SEED=1146800739

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

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

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

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        30789932 kB
MemAvailable:   30936520 kB
Buffers:          182780 kB
Cached:           218920 kB
SwapCached:            0 kB
Active:          1331716 kB
Inactive:         159088 kB
Active(anon):    1042180 kB
Inactive(anon):    58556 kB
Active(file):     289536 kB
Inactive(file):   100532 kB
Unevictable:        5912 kB
Mlocked:            5912 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             24804 kB
Writeback:             0 kB
AnonPages:       1102160 kB
Mapped:            43956 kB
Shmem:              8852 kB
Slab:             178692 kB
SReclaimable:     144708 kB
SUnreclaim:        33984 kB
KernelStack:        4848 kB
PageTables:         7360 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    1925416 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:    866304 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      128384 kB
DirectMap2M:    33417216 kB

Free space on /tmp at the end= 61824 MiB
End job on node107 at 2017-07-22 07:48:43