Trace number 3466061

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
MinisatID 2.4.8-gmp? (TO)86 1800.06 1800.13

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_3.opb
MD5SUM31a0e10ee8ac2049545ec8eab33f6948
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark52
Best CPU time to get the best result obtained on this benchmark1797.08
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 69
Optimality of the best value was proved NO
Number of variables500
Total number of constraints500
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)0
Number of constraints which are nor clauses,nor cardinality constraints500
Minimum length of a constraint11
Maximum length of a constraint23
Number of terms in the objective function 500
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 500
Number of bits of the sum of numbers in the objective function 9
Biggest number in a constraint 1
Number of bits of the biggest number in a constraint 1
Biggest sum of numbers in a constraint 500
Number of bits of the biggest sum of numbers9
Number of products (including duplicates)6316
Sum of products size (including duplicates)12632
Number of different products6316
Sum of products size12632

Quality of the solution as a function of time


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

Solver Data 

0.00/0.00	>>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true.
0.39/0.42	o 499
0.49/0.51	o 498
0.49/0.58	o 497
0.59/0.66	o 496
0.69/0.74	o 495
0.79/0.82	o 494
0.79/0.89	o 493
0.89/0.97	o 492
1.01/1.05	o 491
1.11/1.13	o 490
1.19/1.20	o 489
1.19/1.28	o 488
1.29/1.36	o 487
1.39/1.44	o 486
1.49/1.51	o 485
1.49/1.59	o 484
1.59/1.67	o 483
1.69/1.75	o 482
1.79/1.82	o 481
1.89/1.90	o 480
1.89/1.98	o 479
1.99/2.06	o 478
2.11/2.14	o 477
2.11/2.21	o 476
2.21/2.29	o 475
2.29/2.37	o 474
2.39/2.45	o 473
2.49/2.52	o 472
2.59/2.60	o 471
2.59/2.68	o 470
2.69/2.75	o 469
2.79/2.83	o 468
2.89/2.91	o 467
2.89/2.99	o 466
2.99/3.07	o 465
3.09/3.14	o 464
3.21/3.22	o 463
3.21/3.30	o 462
3.31/3.38	o 461
3.39/3.46	o 460
3.49/3.53	o 459
3.59/3.61	o 458
3.59/3.69	o 457
3.69/3.77	o 456
3.79/3.84	o 455
3.89/3.92	o 454
3.99/4.00	o 453
3.99/4.08	o 452
4.09/4.16	o 451
4.19/4.24	o 450
4.19/4.31	o 449
4.31/4.39	o 448
4.41/4.47	o 447
4.49/4.55	o 446
4.59/4.63	o 445
4.69/4.71	o 444
4.69/4.79	o 443
4.79/4.87	o 442
4.89/4.94	o 441
4.99/5.02	o 440
5.09/5.10	o 439
5.09/5.18	o 438
5.19/5.26	o 437
5.29/5.34	o 436
5.41/5.42	o 435
5.41/5.50	o 434
5.51/5.58	o 433
5.59/5.66	o 432
5.69/5.74	o 431
5.79/5.81	o 430
5.79/5.89	o 429
5.89/5.97	o 428
5.99/6.05	o 427
6.09/6.13	o 426
6.19/6.21	o 425
6.19/6.30	o 424
6.29/6.38	o 423
6.39/6.45	o 422
6.51/6.53	o 421
6.51/6.61	o 420
6.61/6.69	o 419
6.69/6.77	o 418
6.79/6.85	o 417
6.89/6.93	o 416
6.99/7.02	o 415
7.09/7.10	o 414
7.09/7.18	o 413
7.19/7.26	o 412
7.29/7.34	o 411
7.39/7.42	o 410
7.49/7.50	o 409
7.49/7.58	o 408
7.61/7.67	o 407
7.71/7.75	o 406
7.79/7.83	o 405
7.89/7.91	o 404
14.39/14.47	o 403
14.59/14.60	o 402
14.69/14.71	o 401
14.79/14.83	o 400
14.89/14.96	o 399
15.41/15.42	o 398
15.49/15.53	o 397
15.59/15.65	o 396
15.79/15.83	o 395
15.89/15.97	o 394
15.99/16.09	o 393
16.19/16.23	o 392
16.29/16.39	o 391
16.51/16.52	o 390
16.59/16.64	o 389
16.79/16.86	o 388
16.89/16.99	o 387
17.09/17.12	o 386
17.29/17.35	o 385
17.39/17.50	o 384
17.61/17.63	o 383
17.69/17.75	o 382
17.89/17.90	o 381
17.99/18.04	o 380
18.19/18.24	o 379
18.29/18.37	o 378
18.49/18.50	o 377
18.61/18.63	o 376
18.71/18.76	o 375
18.89/18.92	o 374
19.19/19.24	o 373
19.29/19.38	o 372
19.59/19.63	o 371
19.71/19.80	o 370
19.89/19.96	o 369
20.91/20.98	o 368
21.09/21.16	o 367
21.29/21.32	o 366
22.09/22.19	o 365
22.69/22.70	o 364
22.79/22.82	o 363
23.01/23.07	o 362
23.19/23.20	o 361
23.29/23.32	o 360
23.59/23.61	o 359
23.69/23.75	o 358
23.89/23.99	o 357
23.99/24.12	o 356
24.21/24.25	o 355
24.29/24.38	o 354
24.69/24.78	o 353
25.31/25.38	o 352
25.49/25.54	o 351
25.59/25.67	o 350
25.69/25.79	o 349
25.89/25.94	o 348
25.99/26.07	o 347
26.19/26.24	o 346
26.69/26.71	o 345
26.79/26.84	o 344
26.89/26.96	o 343
27.41/27.46	o 342
27.79/27.88	o 341
28.09/28.19	o 340
28.29/28.32	o 339
28.39/28.45	o 338
28.61/28.62	o 337
28.69/28.75	o 336
28.99/29.08	o 335
29.19/29.20	o 334
29.29/29.35	o 333
29.39/29.49	o 332
29.61/29.62	o 331
29.71/29.75	o 330
29.79/29.89	o 329
29.99/30.01	o 328
30.09/30.15	o 327
30.19/30.28	o 326
30.39/30.41	o 325
30.49/30.58	o 324
30.59/30.72	o 323
30.99/31.07	o 322
31.09/31.19	o 321
31.29/31.32	o 320
31.39/31.45	o 319
31.49/31.58	o 318
31.69/31.71	o 317
31.81/31.82	o 316
31.91/31.95	o 315
31.99/32.07	o 314
32.19/32.20	o 313
32.29/32.33	o 312
32.39/32.45	o 311
32.49/32.57	o 310
32.69/32.70	o 309
32.79/32.82	o 308
32.91/32.95	o 307
33.09/33.14	o 306
33.29/33.36	o 305
33.39/33.49	o 304
33.59/33.62	o 303
33.69/33.75	o 302
33.79/33.88	o 301
33.89/34.01	o 300
34.59/34.65	o 299
34.69/34.79	o 298
34.89/34.95	o 297
35.11/35.12	o 296
35.21/35.25	o 295
35.39/35.42	o 294
35.49/35.57	o 293
35.69/35.71	o 292
35.79/35.84	o 291
35.89/35.99	o 290
36.09/36.13	o 289
36.21/36.28	o 288
36.39/36.43	o 287
36.49/36.58	o 286
36.69/36.71	o 285
36.79/36.84	o 284
37.09/37.19	o 283
37.31/37.35	o 282
37.59/37.61	o 281
37.79/37.81	o 280
37.89/37.96	o 279
38.09/38.11	o 278
38.19/38.26	o 277
38.41/38.46	o 276
38.59/38.60	o 275
38.69/38.75	o 274
38.79/38.89	o 273
38.99/39.04	o 272
39.19/39.21	o 271
39.29/39.36	o 270
39.39/39.50	o 269
39.61/39.65	o 268
39.79/39.80	o 267
39.89/39.94	o 266
39.99/40.09	o 265
40.19/40.24	o 264
40.39/40.41	o 263
40.49/40.57	o 262
40.61/40.70	o 261
40.79/40.85	o 260
40.89/40.97	o 259
41.09/41.13	o 258
41.19/41.27	o 257
41.39/41.42	o 256
41.49/41.56	o 255
41.59/41.68	o 254
41.81/41.84	o 253
41.89/41.98	o 252
42.09/42.14	o 251
42.19/42.28	o 250
42.39/42.40	o 249
42.59/42.60	o 248
42.69/42.74	o 247
42.81/42.88	o 246
43.19/43.27	o 245
43.39/43.43	o 244
43.49/43.59	o 243
43.69/43.75	o 242
43.91/43.92	o 241
44.01/44.05	o 240
44.19/44.25	o 239
44.39/44.40	o 238
44.49/44.55	o 237
44.59/44.69	o 236
44.79/44.83	o 235
44.89/44.98	o 234
45.01/45.11	o 233
45.19/45.26	o 232
45.39/45.40	o 231
45.49/45.53	o 230
45.59/45.69	o 229
45.79/45.83	o 228
45.89/45.98	o 227
46.11/46.18	o 226
46.29/46.31	o 225
46.39/46.46	o 224
46.59/46.61	o 223
46.69/46.73	o 222
46.79/46.89	o 221
46.99/47.05	o 220
47.09/47.18	o 219
47.31/47.33	o 218
47.49/47.50	o 217
47.69/47.78	o 216
47.89/47.90	o 215
47.99/48.06	o 214
48.19/48.20	o 213
48.31/48.33	o 212
48.41/48.45	o 211
48.59/48.65	o 210
48.79/48.82	o 209
48.89/48.95	o 208
48.99/49.07	o 207
49.19/49.29	o 206
49.41/49.45	o 205
49.59/49.66	o 204
49.79/49.80	o 203
49.89/49.97	o 202
50.09/50.12	o 201
50.19/50.24	o 200
50.39/50.45	o 199
50.51/50.61	o 198
50.69/50.77	o 197
50.89/50.93	o 196
50.99/51.09	o 195
51.19/51.23	o 194
51.29/51.39	o 193
51.49/51.55	o 192
51.61/51.69	o 191
51.79/51.84	o 190
51.89/51.96	o 189
52.09/52.12	o 188
52.19/52.29	o 187
52.39/52.41	o 186
52.49/52.56	o 185
52.59/52.71	o 184
52.81/52.86	o 183
52.89/52.97	o 182
53.09/53.13	o 181
53.19/53.29	o 180
53.39/53.47	o 179
53.59/53.64	o 178
53.69/53.76	o 177
53.91/53.96	o 176
54.39/54.47	o 175
54.49/54.59	o 174
54.79/54.80	o 173
54.91/54.94	o 172
55.01/55.07	o 171
55.19/55.22	o 170
55.29/55.39	o 169
55.49/55.55	o 168
55.69/55.73	o 167
55.79/55.87	o 166
56.29/56.30	o 165
56.39/56.47	o 164
56.89/56.98	o 163
57.39/57.44	o 162
57.59/57.61	o 161
59.09/59.10	o 160
59.19/59.25	o 159
60.19/60.22	o 158
60.29/60.39	o 157
61.89/61.93	o 156
62.09/62.14	o 155
62.29/62.31	o 154
62.61/62.66	o 153
63.81/63.82	o 152
63.89/63.98	o 151
64.09/64.11	o 150
64.39/64.47	o 149
65.39/65.44	o 148
66.49/66.57	o 147
66.79/66.80	o 146
67.01/67.07	o 145
67.29/67.36	o 144
67.49/67.56	o 143
67.69/67.78	o 142
68.21/68.22	o 141
68.39/68.41	o 140
68.49/68.54	o 139
68.59/68.68	o 138
69.31/69.33	o 137
69.49/69.53	o 136
69.99/70.07	o 135
70.79/70.80	o 134
70.89/70.93	o 133
71.09/71.10	o 132
71.29/71.34	o 131
72.09/72.10	o 130
72.29/72.37	o 129
72.61/72.62	o 128
73.19/73.20	o 127
73.39/73.43	o 126
73.49/73.61	o 125
73.71/73.77	o 124
73.89/73.93	o 123
74.09/74.17	o 122
74.29/74.36	o 121
74.49/74.56	o 120
74.59/74.71	o 119
74.89/74.97	o 118
75.09/75.13	o 117
75.29/75.32	o 116
76.39/76.48	o 115
77.19/77.29	o 114
77.39/77.43	o 113
77.49/77.55	o 112
77.69/77.71	o 111
78.11/78.16	o 110
78.29/78.32	o 109
78.39/78.46	o 108
78.59/78.62	o 107
78.69/78.76	o 106
79.11/79.18	o 105
79.89/79.93	o 104
79.99/80.09	o 103
80.49/80.56	o 102
80.69/80.73	o 101
80.89/80.99	o 100
81.09/81.18	o 99
81.19/81.30	o 98
81.59/81.64	o 97
82.19/82.20	o 96
82.29/82.32	o 95
82.41/82.44	o 94
85.29/85.38	o 93
86.59/86.64	o 92
87.19/87.26	o 91
87.69/87.77	o 90
87.91/87.93	o 89
88.01/88.06	o 88
143.49/143.54	o 87
145.11/145.13	o 86
1800.04/1800.12	>>> Terminate signal received
1800.04/1800.12	v -x1 -x2 x3 x4 x5 -x6 -x7 -x8 x9 -x10 -x11 x12 x13 x14 -x15 x16 x17 -x18 x19 -x20 -x21 -x22 x23 x24 x25 x26 -x27 x28 x29 -x30 x31 -x32 -x33 -x34 -x35 -x36 x37 x38 -x39 x40 -x41 x42 -x43 x44 -x45 x46 -x47 -x48 x49 -x50 x51 x52 x53 -x54 x55 x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 -x66 x67 -x68 -x69 x70 -x71 x72 -x73 x74 -x75 -x76 x77 -x78 -x79 -x80 -x81 -x82 x83 x84 -x85 -x86 x87 -x88 x89 -x90 x91 -x92 x93 -x94 x95 -x96 -x97 -x98 -x99 -x100 -x101 x102 -x103 -x104 x105 -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 x124 -x125 x126 -x127 -x128 -x129 x130 -x131 -x132 x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 x143 -x144 -x145 x146 -x147 x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 x162 -x163 -x164 x165 -x166 x167 -x168 -x169 -x170 -x171 -x172 -x173 x174 x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 x186 -x187 x188 -x189 -x190 x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 -x204 x205 -x206 x207 -x208 -x209 -x210 -x211 x212 x213 -x214 x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 x250 -x251 -x252 x253 -x254 -x255 -x256 -x257 x258 x259 -x260 -x261 -x262 -x263 x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 x309 -x310 -x311 -x312 -x313 -x314 x315 -x316 -x317 -x318 -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 x350 -x351 -x352 -x353 -x354 x355 x356 -x357 -x358 -x359 -x360 -x361 -x362 -x363 -x364 -x365 -x366 x367 -x368 -x369 -x370 -x371 -x372 -x373 x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 -x406 -x407 -x408 x409 -x410 -x411 x412 -x413 x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 -x448 -x449 -x450 -x451 x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500

Verifier Data 

OK	86

Watcher Data 

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.0 (svn: 977)

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-3466061-1307419434/watcher-3466061-1307419434 -o /tmp/evaluation-result-3466061-1307419434/solver-3466061-1307419434 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466061-1307419434.opb --verbosity=0 --format=opb 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 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
Using a pseudo terminal to collect output from the solver
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 2.17 2.08 2.02 2/561 26961
/proc/meminfo: memFree=29962520/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=9064 CPUtime=0.01 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 759 0 0 0 1 0 0 0 25 0 1 0 853542063 9281536 706 33554432000 4194304 6736272 140736519489984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 2266 706 248 621 0 1636 0

[startup+0.09303 s]
/proc/loadavg: 2.17 2.08 2.02 2/561 26961
/proc/meminfo: memFree=29962520/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=19764 CPUtime=0.08 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 3481 0 0 0 8 0 0 0 25 0 1 0 853542063 20238336 3426 33554432000 4194304 6736272 140736519489984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 4941 3427 266 621 0 4311 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 19764

[startup+0.101025 s]
/proc/loadavg: 2.17 2.08 2.02 2/561 26961
/proc/meminfo: memFree=29962520/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=20424 CPUtime=0.09 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 3655 0 0 0 9 0 0 0 25 0 1 0 853542063 20914176 3600 33554432000 4194304 6736272 140736519489984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 5106 3601 266 621 0 4476 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20424

[startup+0.300992 s]
/proc/loadavg: 2.17 2.08 2.02 2/561 26961
/proc/meminfo: memFree=29962520/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=41312 CPUtime=0.29 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 8905 0 0 0 28 1 0 0 25 0 1 0 853542063 42303488 8817 33554432000 4194304 6736272 140736519489984 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 10328 8819 266 621 0 9698 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41312

[startup+0.70092 s]
/proc/loadavg: 2.17 2.08 2.02 2/561 26961
/proc/meminfo: memFree=29962520/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=0.69 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10448 0 0 0 68 1 0 0 25 0 1 0 853542063 48697344 10360 33554432000 4194304 6736272 140736519489984 18446744073709551615 5803333 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10360 276 621 0 11259 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47556

[startup+1.50079 s]
/proc/loadavg: 2.17 2.08 2.02 3/562 26962
/proc/meminfo: memFree=29921220/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=1.49 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10452 0 0 0 148 1 0 0 25 0 1 0 853542063 48697344 10364 33554432000 4194304 6736272 140736519489984 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10364 276 621 0 11259 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47556

[startup+3.10046 s]
/proc/loadavg: 2.17 2.08 2.02 3/562 26962
/proc/meminfo: memFree=29919508/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=3.09 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10462 0 0 0 308 1 0 0 25 0 1 0 853542063 48697344 10374 33554432000 4194304 6736272 140736519489984 18446744073709551615 4279346 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10374 276 621 0 11259 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47556

[startup+6.30099 s]
/proc/loadavg: 2.15 2.08 2.02 3/562 26962
/proc/meminfo: memFree=29919508/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=6.29 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10480 0 0 0 628 1 0 0 25 0 1 0 853542063 48697344 10392 33554432000 4194304 6736272 140736519489984 18446744073709551615 5222025 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10392 276 621 0 11259 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47556

[startup+12.7009 s]
/proc/loadavg: 2.14 2.07 2.02 3/562 26962
/proc/meminfo: memFree=29918944/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=12.69 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10512 0 0 0 1268 1 0 0 25 0 1 0 853542063 48697344 10422 33554432000 4194304 6736272 140736519489984 18446744073709551615 4502256 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10422 286 621 0 11259 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 47556

[startup+25.5008 s]
/proc/loadavg: 2.11 2.07 2.02 3/562 26965
/proc/meminfo: memFree=29918820/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=25.49 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10544 0 0 0 2548 1 0 0 25 0 1 0 853542063 48697344 10451 33554432000 4194304 6736272 140736519489984 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10451 286 621 0 11259 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 47556

[startup+51.1004 s]
/proc/loadavg: 2.07 2.06 2.02 3/562 26966
/proc/meminfo: memFree=29918556/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=47556 CPUtime=51.09 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 10594 0 0 0 5108 1 0 0 25 0 1 0 853542063 48697344 10499 33554432000 4194304 6736272 140736519489984 18446744073709551615 5806442 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11889 10499 286 621 0 11259 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47556

[startup+102.322 s]
/proc/loadavg: 2.03 2.05 2.01 3/562 26968
/proc/meminfo: memFree=29916904/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=102.31 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11147 0 0 0 10230 1 0 0 25 0 1 0 853542063 45912064 10710 33554432000 4194304 6736272 140736519489984 18446744073709551615 5806341 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10710 287 621 0 10579 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 44836

[startup+162.301 s]
/proc/loadavg: 2.01 2.04 2.00 3/562 26969
/proc/meminfo: memFree=29915272/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=162.29 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11177 0 0 0 16228 1 0 0 25 0 1 0 853542063 45912064 10740 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10740 287 621 0 10579 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 44836

[startup+222.301 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 26971
/proc/meminfo: memFree=29916128/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=222.25 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11177 0 0 0 22224 1 0 0 25 0 1 0 853542063 45912064 10740 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10740 287 621 0 10579 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 44836

[startup+282.301 s]
/proc/loadavg: 2.12 2.05 2.01 3/562 26972
/proc/meminfo: memFree=29916968/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=282.25 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11188 0 0 0 28224 1 0 0 25 0 1 0 853542063 45912064 10751 33554432000 4194304 6736272 140736519489984 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10751 287 621 0 10579 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 44836

[startup+342.301 s]
/proc/loadavg: 2.10 2.06 2.01 3/562 26974
/proc/meminfo: memFree=29916824/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=342.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11198 0 0 0 34223 1 0 0 25 0 1 0 853542063 45912064 10761 33554432000 4194304 6736272 140736519489984 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10761 287 621 0 10579 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 44836

[startup+402.3 s]
/proc/loadavg: 2.04 2.05 2.00 3/562 26976
/proc/meminfo: memFree=29916916/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=402.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11198 0 0 0 40223 1 0 0 25 0 1 0 853542063 45912064 10761 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10761 287 621 0 10579 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 44836

[startup+462.3 s]
/proc/loadavg: 2.12 2.06 2.01 3/562 26977
/proc/meminfo: memFree=29916912/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=44836 CPUtime=462.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11198 0 0 0 46223 1 0 0 25 0 1 0 853542063 45912064 10761 33554432000 4194304 6736272 140736519489984 18446744073709551615 5148069 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11209 10761 287 621 0 10579 0
Current children cumulated CPU time (s) 462.24
Current children cumulated vsize (KiB) 44836

[startup+522.3 s]
/proc/loadavg: 2.14 2.08 2.01 3/562 26979
/proc/meminfo: memFree=29916148/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=522.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11369 0 0 0 52223 1 0 0 25 0 1 0 853542063 48001024 10932 33554432000 4194304 6736272 140736519489984 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 10932 287 621 0 11089 0
Current children cumulated CPU time (s) 522.24
Current children cumulated vsize (KiB) 46876

[startup+582.301 s]
/proc/loadavg: 2.05 2.06 2.01 3/562 26980
/proc/meminfo: memFree=29916756/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=582.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11369 0 0 0 58223 1 0 0 25 0 1 0 853542063 48001024 10932 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 10932 287 621 0 11089 0
Current children cumulated CPU time (s) 582.24
Current children cumulated vsize (KiB) 46876


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

[startup+882.301 s]
/proc/loadavg: 2.21 2.08 2.02 3/562 27015
/proc/meminfo: memFree=29920016/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=882.24 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11401 0 0 0 88223 1 0 0 25 0 1 0 853542063 48001024 10963 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 10963 287 621 0 11089 0
Current children cumulated CPU time (s) 882.24
Current children cumulated vsize (KiB) 46876

[startup+942.301 s]
/proc/loadavg: 2.15 2.08 2.02 3/562 27017
/proc/meminfo: memFree=29920712/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=942.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 94222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 942.23
Current children cumulated vsize (KiB) 46876

[startup+1002.3 s]
/proc/loadavg: 2.05 2.07 2.01 3/562 27019
/proc/meminfo: memFree=29921164/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1002.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 100222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535245 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 1002.23
Current children cumulated vsize (KiB) 46876

[startup+1062.3 s]
/proc/loadavg: 2.02 2.05 2.00 3/562 27020
/proc/meminfo: memFree=29920388/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1062.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 106222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 1062.23
Current children cumulated vsize (KiB) 46876

[startup+1122.3 s]
/proc/loadavg: 2.00 2.04 2.00 3/562 27022
/proc/meminfo: memFree=29920856/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1122.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 112222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 1122.23
Current children cumulated vsize (KiB) 46876

[startup+1182.3 s]
/proc/loadavg: 2.00 2.03 2.00 3/562 27023
/proc/meminfo: memFree=29920332/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1182.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 118222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 1182.23
Current children cumulated vsize (KiB) 46876

[startup+1242.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 27025
/proc/meminfo: memFree=29920292/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1242.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11446 0 0 0 124222 1 0 0 25 0 1 0 853542063 48001024 11008 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11008 287 621 0 11089 0
Current children cumulated CPU time (s) 1242.23
Current children cumulated vsize (KiB) 46876

[startup+1302.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 27027
/proc/meminfo: memFree=29919896/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1302.25 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 130224 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1302.25
Current children cumulated vsize (KiB) 46876

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/562 27028
/proc/meminfo: memFree=29918996/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1362.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 136222 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1362.23
Current children cumulated vsize (KiB) 46876

[startup+1422.32 s]
/proc/loadavg: 2.04 2.02 2.00 3/562 27030
/proc/meminfo: memFree=29920960/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1422.25 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 142224 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535241 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1422.25
Current children cumulated vsize (KiB) 46876

[startup+1482.3 s]
/proc/loadavg: 2.05 2.03 2.00 3/562 27031
/proc/meminfo: memFree=29920180/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1482.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 148222 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535033 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1482.23
Current children cumulated vsize (KiB) 46876

[startup+1542.3 s]
/proc/loadavg: 2.09 2.05 2.01 3/562 27033
/proc/meminfo: memFree=29920900/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1542.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 154222 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 5844915 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1542.23
Current children cumulated vsize (KiB) 46876

[startup+1602.3 s]
/proc/loadavg: 2.07 2.05 2.01 3/562 27035
/proc/meminfo: memFree=29920620/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1602.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 160222 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534894 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 46876

[startup+1662.3 s]
/proc/loadavg: 2.02 2.04 2.00 3/562 27036
/proc/meminfo: memFree=29920352/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1662.22 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 166221 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 5803175 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 46876

[startup+1722.3 s]
/proc/loadavg: 2.01 2.03 2.00 3/562 27038
/proc/meminfo: memFree=29920820/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1722.23 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 172222 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 46876

[startup+1782.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 27039
/proc/meminfo: memFree=29919568/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1782.22 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 178221 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 5806432 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 46876



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 27040
/proc/meminfo: memFree=29920304/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1800.04 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 180003 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 46876

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

Solver just ended. Dumping a history of the last processes samples

[startup+1800.1 s]
/proc/loadavg: 2.00 2.02 2.00 3/562 27040
/proc/meminfo: memFree=29920304/32950928 swapFree=41528364/67111528
[pid=26961] ppid=26959 vsize=46876 CPUtime=1800.04 cores=1,3,5,7
/proc/26961/stat : 26961 (minisatid-gmp) R 26959 26961 26581 0 -1 4202496 11486 0 0 0 180003 1 0 0 25 0 1 0 853542063 48001024 11047 33554432000 4194304 6736272 140736519489984 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 3 0 0 0
/proc/26961/statm: 11719 11047 287 621 0 11089 0
Current children cumulated CPU time (s) 1800.04
Current children cumulated vsize (KiB) 46876

Child status: 0
Real time (s): 1800.13
CPU time (s): 1800.06
CPU user time (s): 1800.04
CPU system time (s): 0.020996
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 47556

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.020996
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11491
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5
involuntary context switches= 23368

runsolver used 10.0605 second user time and 23.0175 second system time

The end

Launcher Data 

Begin job on node126 at 2011-06-07 06:03:54
IDJOB=3466061
IDBENCH=48157
IDSOLVER=1957
FILE ID=node126/3466061-1307419434
RUNJOBID= node126-1307415580-26600
PBS_JOBID= 13514223
Free space on /tmp= 73908 MiB

SOLVER NAME= MinisatID 2.4.8-gmp
BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_10_3.opb
COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb 
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466061-1307419434/watcher-3466061-1307419434 -o /tmp/evaluation-result-3466061-1307419434/solver-3466061-1307419434 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466061-1307419434.opb --verbosity=0 --format=opb 

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

MD5SUM BENCH= 31a0e10ee8ac2049545ec8eab33f6948
RANDOM SEED=1316842643

node126.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.56
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.80
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
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 syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      29962800 kB
Buffers:        341832 kB
Cached:         557436 kB
SwapCached:      15388 kB
Active:        2215428 kB
Inactive:       451464 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      29962800 kB
SwapTotal:    67111528 kB
SwapFree:     41528364 kB
Dirty:            3156 kB
Writeback:           0 kB
AnonPages:     1765264 kB
Mapped:          24824 kB
Slab:           149060 kB
PageTables:      99988 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS: 176409752 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296008 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73908 MiB
End job on node126 at 2011-06-07 06:33:56