Trace number 3466022

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)92 1800.07 1800.02

General information on the benchmark

Namenormalized-PB07/OPT-SMALLINT-NLC/submittedPB07/
manquinho/mds/normalized-mds_500_10_4.opb
MD5SUM7603a459a5769ea7e43f52c522eb87aa
Bench CategoryOPT-SMALLINT-NLC (optimisation, small integers, non linear constraints)
Best result obtained on this benchmarkSAT
Best value of the objective obtained on this benchmark53
Best CPU time to get the best result obtained on this benchmark1797.07
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 68
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 constraint22
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)6326
Sum of products size (including duplicates)12652
Number of different products6326
Sum of products size12652

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.90	o 493
0.89/0.97	o 492
1.00/1.05	o 491
1.10/1.13	o 490
1.19/1.21	o 489
1.19/1.29	o 488
1.29/1.36	o 487
1.39/1.44	o 486
1.49/1.52	o 485
1.59/1.60	o 484
1.59/1.68	o 483
1.69/1.75	o 482
1.79/1.83	o 481
1.89/1.91	o 480
1.89/1.99	o 479
1.99/2.07	o 478
2.10/2.15	o 477
2.20/2.22	o 476
2.29/2.30	o 475
2.29/2.38	o 474
2.39/2.46	o 473
2.49/2.53	o 472
2.59/2.61	o 471
2.59/2.69	o 470
2.69/2.77	o 469
2.79/2.85	o 468
2.89/2.93	o 467
2.99/3.00	o 466
2.99/3.08	o 465
3.09/3.16	o 464
3.20/3.24	o 463
3.30/3.32	o 462
3.30/3.40	o 461
3.39/3.47	o 460
3.49/3.55	o 459
3.59/3.63	o 458
3.69/3.71	o 457
3.69/3.79	o 456
3.79/3.87	o 455
3.89/3.94	o 454
3.99/4.02	o 453
4.09/4.10	o 452
4.09/4.18	o 451
4.19/4.26	o 450
4.30/4.33	o 449
4.40/4.41	o 448
4.40/4.49	o 447
4.49/4.57	o 446
4.59/4.65	o 445
4.69/4.73	o 444
4.79/4.81	o 443
4.79/4.88	o 442
4.89/4.96	o 441
4.99/5.04	o 440
5.09/5.12	o 439
5.19/5.20	o 438
5.19/5.28	o 437
5.29/5.36	o 436
5.40/5.44	o 435
5.50/5.51	o 434
5.50/5.59	o 433
5.59/5.67	o 432
5.69/5.75	o 431
5.79/5.83	o 430
5.89/5.91	o 429
5.89/5.99	o 428
5.99/6.07	o 427
6.09/6.15	o 426
6.19/6.23	o 425
6.29/6.31	o 424
6.29/6.39	o 423
6.39/6.47	o 422
6.50/6.55	o 421
6.60/6.63	o 420
6.69/6.71	o 419
6.69/6.79	o 418
6.79/6.87	o 417
6.89/6.95	o 416
6.99/7.03	o 415
7.09/7.12	o 414
7.19/7.20	o 413
7.19/7.28	o 412
7.29/7.36	o 411
7.39/7.44	o 410
7.49/7.52	o 409
7.49/7.61	o 408
7.60/7.69	o 407
7.70/7.77	o 406
7.79/7.85	o 405
7.89/7.93	o 404
7.99/8.02	o 403
8.09/8.11	o 402
14.21/14.25	o 401
14.31/14.36	o 400
14.80/14.83	o 399
14.90/14.95	o 398
15.10/15.15	o 397
15.60/15.62	o 396
15.70/15.74	o 395
15.80/15.88	o 394
16.00/16.03	o 393
16.10/16.17	o 392
16.41/16.46	o 391
16.60/16.60	o 390
16.70/16.73	o 389
16.80/16.86	o 388
16.90/16.99	o 387
17.10/17.12	o 386
17.20/17.26	o 385
17.40/17.40	o 384
17.51/17.53	o 383
17.61/17.67	o 382
17.80/17.82	o 381
17.90/17.95	o 380
18.00/18.08	o 379
18.20/18.26	o 378
18.30/18.39	o 377
18.50/18.52	o 376
18.61/18.64	o 375
18.71/18.79	o 374
18.90/18.95	o 373
19.10/19.13	o 372
19.30/19.36	o 371
19.40/19.48	o 370
19.71/19.75	o 369
19.81/19.89	o 368
20.00/20.04	o 367
20.10/20.19	o 366
20.40/20.49	o 365
20.60/20.64	o 364
20.70/20.76	o 363
20.80/20.89	o 362
20.99/21.04	o 361
22.79/22.85	o 360
23.39/23.40	o 359
23.49/23.52	o 358
23.59/23.65	o 357
23.69/23.76	o 356
23.89/23.97	o 355
23.99/24.09	o 354
24.21/24.22	o 353
24.29/24.36	o 352
24.39/24.48	o 351
24.60/24.63	o 350
24.69/24.78	o 349
24.90/24.93	o 348
25.10/25.11	o 347
25.21/25.29	o 346
25.40/25.43	o 345
25.50/25.57	o 344
25.70/25.71	o 343
25.80/25.83	o 342
25.90/25.95	o 341
26.10/26.11	o 340
26.41/26.42	o 339
26.49/26.55	o 338
26.59/26.68	o 337
26.79/26.81	o 336
26.89/26.94	o 335
26.99/27.06	o 334
27.09/27.18	o 333
27.29/27.32	o 332
27.79/27.84	o 331
27.89/27.97	o 330
27.99/28.09	o 329
28.19/28.21	o 328
28.29/28.34	o 327
28.69/28.79	o 326
28.89/28.91	o 325
28.99/29.04	o 324
29.09/29.16	o 323
29.19/29.29	o 322
29.39/29.46	o 321
29.49/29.58	o 320
29.60/29.69	o 319
29.80/29.83	o 318
29.89/29.95	o 317
29.99/30.08	o 316
30.19/30.20	o 315
30.29/30.32	o 314
30.39/30.45	o 313
30.50/30.57	o 312
30.59/30.70	o 311
30.81/30.82	o 310
30.99/31.04	o 309
31.19/31.25	o 308
31.29/31.39	o 307
31.49/31.53	o 306
31.59/31.66	o 305
31.69/31.78	o 304
31.91/31.91	o 303
31.99/32.04	o 302
32.09/32.17	o 301
32.29/32.30	o 300
32.39/32.42	o 299
32.69/32.79	o 298
33.09/33.16	o 297
33.29/33.37	o 296
33.49/33.52	o 295
33.59/33.67	o 294
33.79/33.81	o 293
33.89/33.95	o 292
34.00/34.08	o 291
34.19/34.21	o 290
34.29/34.34	o 289
34.39/34.47	o 288
34.59/34.60	o 287
34.69/34.74	o 286
34.79/34.86	o 285
34.89/34.99	o 284
35.10/35.18	o 283
35.29/35.35	o 282
35.59/35.60	o 281
35.69/35.74	o 280
35.99/36.02	o 279
36.20/36.26	o 278
36.39/36.43	o 277
36.49/36.57	o 276
36.69/36.74	o 275
36.89/36.94	o 274
37.09/37.11	o 273
37.19/37.28	o 272
37.41/37.43	o 271
37.49/37.56	o 270
37.69/37.70	o 269
37.79/37.83	o 268
37.89/37.98	o 267
38.09/38.11	o 266
38.19/38.24	o 265
38.29/38.37	o 264
38.51/38.51	o 263
38.59/38.64	o 262
38.69/38.78	o 261
38.89/38.91	o 260
38.99/39.04	o 259
39.09/39.19	o 258
39.29/39.32	o 257
39.39/39.46	o 256
39.50/39.61	o 255
39.69/39.73	o 254
39.79/39.87	o 253
39.99/40.04	o 252
40.19/40.20	o 251
40.29/40.32	o 250
40.39/40.47	o 249
40.49/40.61	o 248
40.71/40.74	o 247
40.79/40.87	o 246
40.99/41.01	o 245
41.09/41.15	o 244
41.29/41.31	o 243
41.49/41.56	o 242
41.70/41.72	o 241
41.81/41.89	o 240
41.99/42.07	o 239
42.19/42.22	o 238
42.29/42.36	o 237
42.49/42.51	o 236
42.59/42.66	o 235
42.69/42.78	o 234
42.91/42.92	o 233
42.99/43.05	o 232
43.09/43.19	o 231
43.29/43.33	o 230
43.39/43.47	o 229
43.59/43.60	o 228
43.69/43.75	o 227
43.79/43.89	o 226
44.01/44.07	o 225
44.19/44.24	o 224
44.29/44.39	o 223
44.49/44.52	o 222
44.69/44.70	o 221
44.89/44.92	o 220
45.00/45.09	o 219
45.29/45.31	o 218
45.59/45.64	o 217
45.99/46.00	o 216
46.49/46.59	o 215
46.69/46.79	o 214
46.89/46.96	o 213
47.09/47.12	o 212
47.39/47.43	o 211
47.59/47.69	o 210
47.79/47.87	o 209
47.99/48.06	o 208
48.19/48.21	o 207
48.30/48.37	o 206
48.49/48.50	o 205
48.79/48.88	o 204
49.09/49.17	o 203
49.40/49.49	o 202
49.59/49.66	o 201
49.99/50.05	o 200
50.39/50.46	o 199
50.61/50.62	o 198
50.79/50.81	o 197
50.99/51.01	o 196
51.09/51.18	o 195
51.29/51.31	o 194
51.49/51.50	o 193
51.60/51.68	o 192
51.79/51.85	o 191
51.89/51.98	o 190
52.09/52.12	o 189
52.19/52.28	o 188
52.39/52.43	o 187
52.49/52.56	o 186
52.59/52.69	o 185
52.81/52.86	o 184
52.99/53.00	o 183
53.09/53.14	o 182
53.19/53.27	o 181
53.39/53.42	o 180
53.49/53.58	o 179
53.69/53.71	o 178
53.80/53.84	o 177
53.99/54.01	o 176
54.09/54.15	o 175
54.29/54.30	o 174
54.39/54.47	o 173
54.59/54.62	o 172
54.69/54.79	o 171
54.90/54.95	o 170
55.09/55.11	o 169
55.19/55.26	o 168
55.29/55.39	o 167
55.49/55.58	o 166
55.69/55.72	o 165
55.79/55.86	o 164
56.00/56.02	o 163
56.11/56.17	o 162
56.29/56.30	o 161
56.39/56.45	o 160
56.59/56.60	o 159
56.69/56.75	o 158
56.79/56.88	o 157
56.99/57.11	o 156
57.49/57.52	o 155
57.69/57.79	o 154
57.89/57.95	o 153
58.09/58.20	o 152
58.59/58.66	o 151
58.79/58.83	o 150
58.89/58.98	o 149
59.19/59.21	o 148
59.79/59.85	o 147
59.99/60.03	o 146
60.29/60.30	o 145
60.40/60.48	o 144
60.59/60.65	o 143
60.79/60.84	o 142
60.89/60.98	o 141
61.09/61.12	o 140
61.19/61.25	o 139
61.39/61.43	o 138
61.50/61.57	o 137
61.69/61.71	o 136
61.79/61.85	o 135
61.99/62.02	o 134
62.09/62.15	o 133
62.29/62.30	o 132
62.71/62.72	o 131
62.99/63.00	o 130
63.29/63.39	o 129
63.49/63.54	o 128
63.99/64.05	o 127
64.09/64.20	o 126
64.59/64.68	o 125
64.80/64.82	o 124
66.01/66.04	o 123
66.39/66.47	o 122
66.59/66.63	o 121
66.79/66.88	o 120
67.69/67.75	o 119
68.99/69.00	o 118
69.39/69.49	o 117
69.69/69.71	o 116
70.19/70.25	o 115
71.09/71.12	o 114
71.19/71.27	o 113
72.19/72.26	o 112
72.79/72.88	o 111
72.99/73.02	o 110
73.89/73.95	o 109
230.60/230.62	o 108
231.80/231.86	o 107
232.11/232.17	o 106
232.20/232.29	o 105
249.10/249.18	o 104
249.30/249.32	o 103
249.71/249.74	o 102
251.50/251.52	o 101
491.80/491.88	o 100
611.11/611.13	o 99
613.01/613.04	o 98
613.41/613.42	o 97
661.02/661.11	o 96
661.41/661.48	o 95
985.42/985.42	o 94
986.12/986.19	o 93
1187.82/1187.86	o 92
1800.05/1800.01	>>> Terminate signal received
1800.05/1800.01	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	92

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-3466022-1307418683/watcher-3466022-1307418683 -o /tmp/evaluation-result-3466022-1307418683/solver-3466022-1307418683 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466022-1307418683.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.04 2.00 1.79 2/461 14066
/proc/meminfo: memFree=28520224/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=8000 CPUtime=0 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 539 0 0 0 0 0 0 0 25 0 1 0 853466276 8192000 487 33554432000 4194304 6736272 140737239181584 18446744073709551615 4314696 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 2000 488 248 621 0 1370 0

[startup+0.072682 s]
/proc/loadavg: 2.04 2.00 1.79 2/461 14066
/proc/meminfo: memFree=28520224/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=18868 CPUtime=0.06 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 3266 0 0 0 6 0 0 0 25 0 1 0 853466276 19320832 3214 33554432000 4194304 6736272 140737239181584 18446744073709551615 5803297 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 4717 3214 266 621 0 4087 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 18868

[startup+0.100664 s]
/proc/loadavg: 2.04 2.00 1.79 2/461 14066
/proc/meminfo: memFree=28520224/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=20452 CPUtime=0.09 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 3655 0 0 0 9 0 0 0 25 0 1 0 853466276 20942848 3603 33554432000 4194304 6736272 140737239181584 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 5113 3603 266 621 0 4483 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20452

[startup+0.300642 s]
/proc/loadavg: 2.04 2.00 1.79 2/461 14066
/proc/meminfo: memFree=28520224/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=41496 CPUtime=0.29 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 8945 0 0 0 28 1 0 0 25 0 1 0 853466276 42491904 8860 33554432000 4194304 6736272 140737239181584 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 10374 8862 266 621 0 9744 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 41496

[startup+0.700556 s]
/proc/loadavg: 2.04 2.00 1.79 2/461 14066
/proc/meminfo: memFree=28520224/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=0.69 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10464 0 0 0 68 1 0 0 25 0 1 0 853466276 48771072 10379 33554432000 4194304 6736272 140737239181584 18446744073709551615 5811920 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10379 276 621 0 11277 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 47628

[startup+1.50041 s]
/proc/loadavg: 2.04 2.00 1.79 3/462 14068
/proc/meminfo: memFree=28478924/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=1.49 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10468 0 0 0 148 1 0 0 25 0 1 0 853466276 48771072 10383 33554432000 4194304 6736272 140737239181584 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10383 276 621 0 11277 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 47628

[startup+3.10112 s]
/proc/loadavg: 2.03 2.00 1.79 3/462 14068
/proc/meminfo: memFree=28477836/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=3.09 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10478 0 0 0 308 1 0 0 25 0 1 0 853466276 48771072 10393 33554432000 4194304 6736272 140737239181584 18446744073709551615 5806446 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10393 276 621 0 11277 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 47628

[startup+6.30055 s]
/proc/loadavg: 2.03 2.00 1.79 3/462 14068
/proc/meminfo: memFree=28477708/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=6.29 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10496 0 0 0 628 1 0 0 25 0 1 0 853466276 48771072 10411 33554432000 4194304 6736272 140737239181584 18446744073709551615 4734723 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10411 276 621 0 11277 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 47628

[startup+12.7004 s]
/proc/loadavg: 2.03 2.00 1.79 3/462 14068
/proc/meminfo: memFree=28477280/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=12.7 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10531 0 0 0 1268 2 0 0 25 0 1 0 853466276 48771072 10444 33554432000 4194304 6736272 140737239181584 18446744073709551615 5149152 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10444 286 621 0 11277 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 47628

[startup+25.5011 s]
/proc/loadavg: 2.02 2.00 1.79 3/462 14068
/proc/meminfo: memFree=28476672/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=25.5 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10561 0 0 0 2548 2 0 0 25 0 1 0 853466276 48771072 10472 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10472 286 621 0 11277 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 47628

[startup+51.1004 s]
/proc/loadavg: 2.01 2.00 1.80 3/462 14069
/proc/meminfo: memFree=28476412/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=47628 CPUtime=51.09 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 10610 0 0 0 5107 2 0 0 25 0 1 0 853466276 48771072 10519 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535256 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11907 10519 286 621 0 11277 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 47628

[startup+102.317 s]
/proc/loadavg: 2.15 2.03 1.82 3/462 14070
/proc/meminfo: memFree=28474272/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=102.31 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11393 0 0 0 10229 2 0 0 25 0 1 0 853466276 48074752 10951 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10951 287 621 0 11107 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 46948

[startup+162.3 s]
/proc/loadavg: 2.13 2.04 1.83 3/462 14072
/proc/meminfo: memFree=28473748/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=162.29 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11413 0 0 0 16227 2 0 0 25 0 1 0 853466276 48074752 10970 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10970 287 621 0 11107 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 46948

[startup+222.3 s]
/proc/loadavg: 2.04 2.03 1.84 3/462 14073
/proc/meminfo: memFree=28474836/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=222.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 22228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535001 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 46948

[startup+282.301 s]
/proc/loadavg: 2.02 2.02 1.84 3/462 14075
/proc/meminfo: memFree=28475804/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=282.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 28228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 46948

[startup+342.301 s]
/proc/loadavg: 2.00 2.02 1.85 3/462 14077
/proc/meminfo: memFree=28475024/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=342.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 34228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 46948

[startup+402.301 s]
/proc/loadavg: 2.00 2.01 1.85 3/462 14078
/proc/meminfo: memFree=28475480/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=402.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 40228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5817006 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 46948

[startup+462.301 s]
/proc/loadavg: 2.07 2.03 1.87 3/462 14080
/proc/meminfo: memFree=28475188/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=462.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 46228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5806495 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 46948

[startup+522.301 s]
/proc/loadavg: 2.03 2.03 1.87 3/462 14081
/proc/meminfo: memFree=28475900/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=522.3 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 52228 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 522.3
Current children cumulated vsize (KiB) 46948

[startup+582.301 s]
/proc/loadavg: 2.01 2.02 1.88 3/462 14092
/proc/meminfo: memFree=28473848/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=582.31 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 58229 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534885 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 46948


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

[startup+822.301 s]
/proc/loadavg: 2.04 2.03 1.91 3/462 14101
/proc/meminfo: memFree=28474316/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=822.31 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 82229 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4746168 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 822.31
Current children cumulated vsize (KiB) 46948

[startup+882.301 s]
/proc/loadavg: 2.01 2.02 1.91 3/462 14103
/proc/meminfo: memFree=28473536/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=882.31 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 88229 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 882.31
Current children cumulated vsize (KiB) 46948

[startup+942.301 s]
/proc/loadavg: 2.00 2.02 1.91 3/462 14105
/proc/meminfo: memFree=28473968/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=942.32 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 94230 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5811900 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 46948

[startup+1002.3 s]
/proc/loadavg: 2.05 2.03 1.92 3/462 14106
/proc/meminfo: memFree=28474324/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1002.32 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 100230 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4512640 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1002.32
Current children cumulated vsize (KiB) 46948

[startup+1062.3 s]
/proc/loadavg: 2.02 2.02 1.92 3/462 14108
/proc/meminfo: memFree=28474656/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1062.32 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 106230 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1062.32
Current children cumulated vsize (KiB) 46948

[startup+1122.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/462 14109
/proc/meminfo: memFree=28474764/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1122.32 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 112230 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4630925 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1122.32
Current children cumulated vsize (KiB) 46948

[startup+1182.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/462 14111
/proc/meminfo: memFree=28474108/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1182.32 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 118230 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5148094 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1182.32
Current children cumulated vsize (KiB) 46948

[startup+1242.3 s]
/proc/loadavg: 2.05 2.02 1.92 3/462 14141
/proc/meminfo: memFree=28464684/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1242.33 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 124231 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534666 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1242.33
Current children cumulated vsize (KiB) 46948

[startup+1302.3 s]
/proc/loadavg: 2.02 2.01 1.92 3/462 14142
/proc/meminfo: memFree=28464772/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1302.34 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 130232 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 46948

[startup+1362.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/462 14144
/proc/meminfo: memFree=28463872/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1362.33 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 136231 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1362.33
Current children cumulated vsize (KiB) 46948

[startup+1422.32 s]
/proc/loadavg: 2.00 2.00 1.92 3/462 14145
/proc/meminfo: memFree=28463840/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1422.35 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 142233 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535241 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 46948

[startup+1482.3 s]
/proc/loadavg: 2.10 2.03 1.93 3/462 14147
/proc/meminfo: memFree=28464924/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1482.33 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 148231 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1482.33
Current children cumulated vsize (KiB) 46948

[startup+1542.3 s]
/proc/loadavg: 2.08 2.04 1.94 3/462 14149
/proc/meminfo: memFree=28465004/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1542.33 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 154231 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4512661 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1542.33
Current children cumulated vsize (KiB) 46948

[startup+1602.3 s]
/proc/loadavg: 2.03 2.03 1.94 3/462 14150
/proc/meminfo: memFree=28465100/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1602.34 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 160232 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535209 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 46948

[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 1.94 3/462 14152
/proc/meminfo: memFree=28464948/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1662.34 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 166232 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 46948

[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 1.94 3/462 14153
/proc/meminfo: memFree=28464924/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1722.34 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 172232 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 4535117 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 46948

[startup+1782.3 s]
/proc/loadavg: 2.13 2.05 1.95 3/462 14155
/proc/meminfo: memFree=28464148/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1782.34 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 178232 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5608684 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1782.34
Current children cumulated vsize (KiB) 46948



Maximum CPU time exceeded: sending SIGTERM then SIGKILL

[startup+1800 s]
/proc/loadavg: 2.10 2.05 1.95 3/462 14155
/proc/meminfo: memFree=28465008/32951124 swapFree=41830676/67111528
[pid=14066] ppid=14064 vsize=46948 CPUtime=1800.05 cores=1,3,5,7
/proc/14066/stat : 14066 (minisatid-gmp) R 14064 14066 13488 0 -1 4202496 11428 0 0 0 180003 2 0 0 25 0 1 0 853466276 48074752 10985 33554432000 4194304 6736272 140737239181584 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 5 0 0 0
/proc/14066/statm: 11737 10985 287 621 0 11107 0
Current children cumulated CPU time (s) 1800.05
Current children cumulated vsize (KiB) 46948

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

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

Child status: 0
Real time (s): 1800.02
CPU time (s): 1800.07
CPU user time (s): 1800.04
CPU system time (s): 0.028995
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 47628

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1800.04
system time used= 0.028995
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11433
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= 2751

runsolver used 7.41887 second user time and 18.7991 second system time

The end

Launcher Data 

Begin job on node138 at 2011-06-07 05:51:23
IDJOB=3466022
IDBENCH=48118
IDSOLVER=1957
FILE ID=node138/3466022-1307418683
RUNJOBID= node138-1307417643-13885
PBS_JOBID= 13514226
Free space on /tmp= 73892 MiB

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

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

MD5SUM BENCH= 7603a459a5769ea7e43f52c522eb87aa
RANDOM SEED=1102027465

node138.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.854
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.70
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.854
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.854
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.82
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.854
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.75
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.854
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.854
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.854
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.854
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.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      28520496 kB
Buffers:        338636 kB
Cached:        1172728 kB
SwapCached:      44568 kB
Active:        2381764 kB
Inactive:      1752428 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      28520496 kB
SwapTotal:    67111528 kB
SwapFree:     41830676 kB
Dirty:            3124 kB
Writeback:           0 kB
AnonPages:     2589476 kB
Mapped:          17672 kB
Slab:           135672 kB
PageTables:      92252 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS: 130661680 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= 73888 MiB
End job on node138 at 2011-06-07 06:21:25