Download the above graph as a PDF file / as an EPS file
| Solver Name | Answer | objective function | CPU time | Wall clock time |
|---|---|---|---|---|
| MinisatID 2.4.8 | ? (TO) | 58 | 1800.12 | 1800.12 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_5.opb |
| MD5SUM | b1035f5aebd5cbd90440f32e03bdad12 |
| Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
| Best result obtained on this benchmark | SAT |
| Best value of the objective obtained on this benchmark | 28 |
| Best CPU time to get the best result obtained on this benchmark | 1797.13 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 37 |
| Optimality of the best value was proved | NO |
| Number of variables | 500 |
| Total number of constraints | 500 |
| Number of constraints which are clauses | 0 |
| Number of constraints which are cardinality constraints (but not clauses) | 0 |
| Number of constraints which are nor clauses,nor cardinality constraints | 500 |
| Minimum length of a constraint | 26 |
| Maximum length of a constraint | 48 |
| 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 numbers | 9 |
| Number of products (including duplicates) | 15706 |
| Sum of products size (including duplicates) | 31412 |
| Number of different products | 15706 |
| Sum of products size | 31412 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.29/0.33 o 499 0.29/0.35 o 498 0.29/0.36 o 497 0.29/0.38 o 496 0.39/0.40 o 495 0.39/0.41 o 494 0.39/0.43 o 493 0.39/0.44 o 492 0.39/0.46 o 491 0.39/0.48 o 490 0.39/0.49 o 489 0.49/0.51 o 488 0.49/0.53 o 487 0.49/0.54 o 486 0.49/0.56 o 485 0.49/0.57 o 484 0.49/0.59 o 483 0.59/0.61 o 482 0.59/0.62 o 481 0.59/0.64 o 480 0.59/0.65 o 479 0.59/0.67 o 478 0.59/0.69 o 477 0.69/0.70 o 476 0.69/0.72 o 475 0.69/0.74 o 474 0.69/0.75 o 473 0.69/0.77 o 472 0.69/0.79 o 471 0.79/0.80 o 470 0.79/0.82 o 469 0.79/0.83 o 468 0.79/0.85 o 467 0.79/0.87 o 466 0.79/0.88 o 465 0.89/0.90 o 464 0.89/0.92 o 463 0.89/0.93 o 462 0.89/0.95 o 461 0.89/0.97 o 460 0.89/0.98 o 459 0.99/1.00 o 458 0.99/1.02 o 457 0.99/1.03 o 456 0.99/1.05 o 455 0.99/1.07 o 454 0.99/1.08 o 453 0.99/1.10 o 452 1.10/1.12 o 451 3.19/3.25 o 450 4.40/4.47 o 449 6.19/6.22 o 448 6.29/6.37 o 447 6.49/6.53 o 446 6.60/6.69 o 445 6.79/6.85 o 444 6.99/7.00 o 443 7.09/7.16 o 442 7.29/7.33 o 441 7.39/7.48 o 440 7.59/7.63 o 439 7.70/7.78 o 438 7.89/7.92 o 437 7.99/8.06 o 436 8.19/8.20 o 435 8.29/8.34 o 434 8.39/8.48 o 433 8.59/8.60 o 432 8.69/8.72 o 431 8.80/8.85 o 430 8.91/8.97 o 429 9.39/9.41 o 428 9.49/9.54 o 427 9.59/9.66 o 426 9.90/9.93 o 425 10.01/10.08 o 424 11.89/11.95 o 423 11.99/12.11 o 422 13.09/13.14 o 421 13.20/13.28 o 420 15.51/15.57 o 419 15.69/15.73 o 418 15.89/15.96 o 417 18.81/18.89 o 416 18.99/19.07 o 415 19.19/19.26 o 414 19.29/19.38 o 413 19.59/19.64 o 412 19.69/19.77 o 411 19.99/20.02 o 410 20.19/20.20 o 409 20.29/20.36 o 408 22.89/22.98 o 407 23.21/23.25 o 406 24.39/24.49 o 405 26.29/26.36 o 404 26.51/26.55 o 403 27.19/27.26 o 402 32.29/32.34 o 401 32.39/32.49 o 400 32.59/32.65 o 399 32.79/32.80 o 398 32.89/33.00 o 397 33.11/33.12 o 396 33.49/33.52 o 395 33.69/33.71 o 394 33.89/33.94 o 393 34.21/34.22 o 392 34.29/34.38 o 391 34.49/34.57 o 390 34.69/34.72 o 389 34.89/34.92 o 388 35.09/35.10 o 387 35.20/35.23 o 386 35.39/35.40 o 385 35.49/35.57 o 384 35.69/35.72 o 383 35.89/35.99 o 382 35.99/36.08 o 381 36.19/36.29 o 380 36.49/36.58 o 379 36.69/36.79 o 378 40.81/40.87 o 377 41.99/42.02 o 376 42.19/42.20 o 375 42.39/42.43 o 374 44.39/44.49 o 373 44.79/44.81 o 372 44.89/44.97 o 371 45.10/45.13 o 370 45.29/45.30 o 369 45.59/45.63 o 368 46.09/46.19 o 367 47.69/47.79 o 366 48.09/48.17 o 365 48.40/48.47 o 364 48.69/48.70 o 363 48.99/49.06 o 362 49.29/49.33 o 361 49.89/49.99 o 360 50.19/50.29 o 359 50.49/50.53 o 358 51.29/51.35 o 357 52.19/52.24 o 356 52.49/52.59 o 355 52.80/52.89 o 354 53.29/53.34 o 353 53.49/53.52 o 352 53.69/53.76 o 351 54.19/54.22 o 350 54.29/54.36 o 349 56.21/56.22 o 348 56.49/56.52 o 347 56.69/56.74 o 346 56.89/56.91 o 345 56.99/57.09 o 344 57.20/57.27 o 343 57.39/57.41 o 342 57.49/57.57 o 341 57.59/57.67 o 340 57.79/57.89 o 339 57.99/58.03 o 338 58.30/58.35 o 337 58.59/58.60 o 336 58.79/58.80 o 335 58.89/58.93 o 334 59.09/59.17 o 333 59.29/59.37 o 332 59.40/59.48 o 331 59.51/59.59 o 330 59.79/59.84 o 329 59.89/59.99 o 328 60.19/60.27 o 327 61.49/61.56 o 326 61.79/61.80 o 325 61.99/62.04 o 324 62.19/62.28 o 323 62.49/62.51 o 322 62.70/62.74 o 321 62.89/62.96 o 320 62.99/63.09 o 319 63.09/63.19 o 318 63.29/63.35 o 317 63.49/63.57 o 316 63.69/63.73 o 315 63.91/63.97 o 314 64.09/64.10 o 313 64.29/64.34 o 312 66.29/66.31 o 311 69.19/69.26 o 310 69.79/69.88 o 309 70.40/70.44 o 308 72.19/72.29 o 307 72.49/72.60 o 306 72.79/72.86 o 305 73.09/73.12 o 304 73.29/73.39 o 303 73.49/73.50 o 302 73.59/73.64 o 301 73.81/73.86 o 300 74.09/74.12 o 299 74.19/74.23 o 298 75.49/75.54 o 297 75.90/76.00 o 296 77.11/77.12 o 295 77.29/77.33 o 294 79.09/79.11 o 293 80.49/80.56 o 292 80.69/80.77 o 291 80.89/80.98 o 290 81.09/81.18 o 289 81.29/81.38 o 288 81.40/81.50 o 287 81.79/81.88 o 286 81.99/82.06 o 285 82.09/82.18 o 284 82.29/82.35 o 283 82.39/82.51 o 282 82.61/82.67 o 281 82.99/83.06 o 280 83.19/83.23 o 279 83.39/83.42 o 278 83.49/83.58 o 277 83.60/83.69 o 276 83.99/84.08 o 275 84.19/84.25 o 274 84.29/84.38 o 273 84.49/84.54 o 272 84.59/84.70 o 271 84.81/84.86 o 270 86.39/86.47 o 269 86.69/86.77 o 268 87.19/87.22 o 267 87.59/87.60 o 266 87.69/87.70 o 265 87.79/87.82 o 264 87.89/87.93 o 263 88.29/88.31 o 262 88.39/88.45 o 261 88.79/88.88 o 260 89.10/89.13 o 259 89.49/89.51 o 258 89.69/89.75 o 257 89.89/89.97 o 256 89.99/90.08 o 255 90.31/90.36 o 254 90.39/90.48 o 253 90.59/90.61 o 252 90.79/90.82 o 251 90.99/91.07 o 250 91.19/91.31 o 249 91.41/91.42 o 248 91.59/91.67 o 247 91.99/92.10 o 246 92.19/92.24 o 245 92.29/92.35 o 244 92.40/92.46 o 243 92.59/92.62 o 242 92.79/92.82 o 241 92.89/92.95 o 240 93.19/93.20 o 239 93.39/93.50 o 238 93.69/93.72 o 237 93.79/93.88 o 236 93.99/94.08 o 235 94.09/94.19 o 234 94.29/94.31 o 233 94.39/94.42 o 232 94.60/94.64 o 231 94.99/95.07 o 230 95.19/95.21 o 229 95.59/95.63 o 228 95.70/95.77 o 227 95.89/95.91 o 226 95.99/96.03 o 225 96.19/96.24 o 224 96.49/96.55 o 223 96.59/96.68 o 222 96.99/97.05 o 221 98.79/98.82 o 220 99.11/99.13 o 219 99.19/99.26 o 218 99.29/99.37 o 217 99.39/99.48 o 216 99.59/99.62 o 215 99.79/99.89 o 214 99.99/100.07 o 213 100.29/100.37 o 212 100.49/100.50 o 211 100.59/100.62 o 210 100.69/100.72 o 209 100.79/100.89 o 208 100.99/101.07 o 207 101.20/101.27 o 206 102.99/103.05 o 205 103.09/103.19 o 204 103.40/103.44 o 203 103.51/103.55 o 202 103.79/103.80 o 201 103.99/104.05 o 200 104.09/104.16 o 199 104.19/104.27 o 198 104.29/104.37 o 197 104.39/104.50 o 196 113.19/113.25 o 195 114.89/114.97 o 194 116.29/116.34 o 193 118.19/118.26 o 192 120.79/120.82 o 191 125.59/125.62 o 190 129.49/129.52 o 189 131.49/131.53 o 188 131.89/131.99 o 187 132.49/132.55 o 186 132.69/132.74 o 185 132.79/132.87 o 184 132.89/132.97 o 183 133.29/133.30 o 182 133.59/133.64 o 181 134.09/134.14 o 180 134.31/134.33 o 179 134.39/134.45 o 178 134.49/134.57 o 177 134.59/134.66 o 176 134.69/134.74 o 175 134.89/134.93 o 174 135.19/135.25 o 173 135.41/135.43 o 172 135.49/135.58 o 171 135.69/135.78 o 170 136.99/137.03 o 169 137.19/137.21 o 168 137.29/137.31 o 167 137.39/137.49 o 166 137.69/137.79 o 165 137.89/137.90 o 164 137.99/138.01 o 163 138.09/138.15 o 162 138.19/138.29 o 161 138.79/138.86 o 160 139.29/139.31 o 159 139.39/139.46 o 158 139.49/139.57 o 157 139.59/139.67 o 156 139.70/139.77 o 155 139.81/139.87 o 154 139.99/140.09 o 153 140.19/140.27 o 152 140.69/140.76 o 151 141.09/141.16 o 150 141.69/141.76 o 149 142.01/142.06 o 148 142.59/142.62 o 147 142.69/142.77 o 146 142.89/142.91 o 145 143.00/143.10 o 144 143.29/143.37 o 143 143.49/143.58 o 142 143.69/143.79 o 141 144.21/144.29 o 140 144.39/144.47 o 139 144.59/144.66 o 138 144.79/144.86 o 137 145.09/145.10 o 136 145.39/145.42 o 135 146.09/146.12 o 134 146.41/146.47 o 133 146.69/146.78 o 132 147.09/147.10 o 131 147.29/147.39 o 130 147.79/147.81 o 129 148.09/148.15 o 128 148.61/148.69 o 127 149.09/149.10 o 126 149.39/149.43 o 125 149.99/150.01 o 124 150.70/150.74 o 123 151.09/151.15 o 122 151.69/151.73 o 121 152.09/152.11 o 120 152.69/152.77 o 119 153.09/153.14 o 118 153.49/153.51 o 117 153.79/153.86 o 116 154.19/154.22 o 115 154.89/154.95 o 114 155.69/155.73 o 113 156.09/156.16 o 112 156.49/156.54 o 111 156.89/156.95 o 110 157.29/157.37 o 109 157.69/157.79 o 108 158.19/158.27 o 107 158.99/159.00 o 106 159.39/159.47 o 105 159.89/159.91 o 104 160.59/160.70 o 103 161.19/161.25 o 102 161.69/161.81 o 101 162.29/162.31 o 100 162.79/162.86 o 99 163.29/163.38 o 98 163.90/163.99 o 97 164.49/164.55 o 96 164.99/165.09 o 95 165.79/165.89 o 94 166.69/166.70 o 93 167.39/167.43 o 92 167.99/168.07 o 91 168.69/168.71 o 90 169.29/169.34 o 89 170.09/170.16 o 88 170.79/170.86 o 87 171.49/171.55 o 86 172.19/172.24 o 85 172.89/172.99 o 84 197.39/197.42 o 83 198.10/198.13 o 82 198.79/198.84 o 81 199.49/199.56 o 80 200.99/201.01 o 79 201.99/202.05 o 78 203.19/203.22 o 77 203.99/204.07 o 76 205.19/205.20 o 75 233.79/233.86 o 74 251.59/251.69 o 73 261.90/261.93 o 72 294.09/294.16 o 71 294.99/295.05 o 70 305.39/305.47 o 69 398.79/398.86 o 68 406.10/406.11 o 67 429.20/429.28 o 66 513.30/513.38 o 65 517.01/517.02 o 64 522.30/522.33 o 63 523.80/523.88 o 62 525.60/525.61 o 61 527.10/527.11 o 60 528.70/528.72 o 59 530.90/530.94 o 58 1800.09/1800.11 >>> Terminate signal received 1800.09/1800.11 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
OK 58
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-3464404-1307407346/watcher-3464404-1307407346 -o /tmp/evaluation-result-3464404-1307407346/solver-3464404-1307407346 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464404-1307407346.opb --verbosity=0 --format=opb running on 4 cores: 0,2,4,6 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: 1.02 1.62 1.85 4/454 16308 /proc/meminfo: memFree=24362608/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=7732 CPUtime=0 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 483 0 0 0 0 0 0 0 22 0 1 0 833150501 7917568 432 33554432000 4194304 6539028 140733586455312 18446744073709551615 5440396 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 1933 432 236 573 0 1351 0 [startup+0.102087 s] /proc/loadavg: 1.02 1.62 1.85 4/454 16308 /proc/meminfo: memFree=24362608/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=25708 CPUtime=0.09 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 5018 0 0 0 9 0 0 0 22 0 1 0 833150501 26324992 4934 33554432000 4194304 6539028 140733586455312 18446744073709551615 5068736 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 6427 4934 251 573 0 5845 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 25708 [startup+0.201052 s] /proc/loadavg: 1.02 1.62 1.85 4/454 16308 /proc/meminfo: memFree=24362608/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=40524 CPUtime=0.19 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 8752 0 0 0 19 0 0 0 23 0 1 0 833150501 41496576 8603 33554432000 4194304 6539028 140733586455312 18446744073709551615 5641374 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 10131 8604 251 573 0 9549 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 40524 [startup+0.301034 s] /proc/loadavg: 1.02 1.62 1.85 4/454 16308 /proc/meminfo: memFree=24362608/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=62040 CPUtime=0.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14139 0 0 0 28 1 0 0 23 0 1 0 833150501 63528960 13990 33554432000 4194304 6539028 140733586455312 18446744073709551615 4707841 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15510 13990 253 573 0 14928 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 62040 [startup+0.700964 s] /proc/loadavg: 1.02 1.62 1.85 4/454 16308 /proc/meminfo: memFree=24362608/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=62432 CPUtime=0.69 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14253 0 0 0 68 1 0 0 25 0 1 0 833150501 63930368 14104 33554432000 4194304 6539028 140733586455312 18446744073709551615 4625685 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15608 14104 260 573 0 15026 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 62432 [startup+1.50081 s] /proc/loadavg: 1.02 1.62 1.85 4/456 16310 /proc/meminfo: memFree=24282612/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=62432 CPUtime=1.5 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14296 0 0 0 148 2 0 0 25 0 1 0 833150501 63930368 14143 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15608 14143 270 573 0 15026 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 62432 [startup+3.10049 s] /proc/loadavg: 1.02 1.62 1.85 4/456 16310 /proc/meminfo: memFree=24280312/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=58256 CPUtime=3.09 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14345 0 0 0 307 2 0 0 25 0 1 0 833150501 59654144 14128 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524124 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14564 14128 270 573 0 13982 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 58256 [startup+6.30093 s] /proc/loadavg: 1.10 1.63 1.85 4/456 16310 /proc/meminfo: memFree=24279996/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=58640 CPUtime=6.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14355 0 0 0 627 2 0 0 25 0 1 0 833150501 60047360 14137 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14660 14137 270 573 0 14078 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 58640 [startup+12.7007 s] /proc/loadavg: 1.17 1.64 1.85 4/456 16310 /proc/meminfo: memFree=24278672/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=58640 CPUtime=12.69 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14391 0 0 0 1267 2 0 0 25 0 1 0 833150501 60047360 14172 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14660 14172 270 573 0 14078 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 58640 [startup+25.5004 s] /proc/loadavg: 1.35 1.65 1.86 4/456 16312 /proc/meminfo: memFree=24278768/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=58640 CPUtime=25.49 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14403 0 0 0 2547 2 0 0 25 0 1 0 833150501 60047360 14183 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523742 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14660 14183 270 573 0 14078 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 58640 [startup+51.1007 s] /proc/loadavg: 1.57 1.68 1.86 4/456 16312 /proc/meminfo: memFree=24277716/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=58640 CPUtime=51.09 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14427 0 0 0 5107 2 0 0 25 0 1 0 833150501 60047360 14207 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14660 14207 270 573 0 14078 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 58640 [startup+102.301 s] /proc/loadavg: 1.81 1.73 1.86 4/456 16315 /proc/meminfo: memFree=24275576/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=59660 CPUtime=102.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14514 0 0 0 10228 2 0 0 25 0 1 0 833150501 61091840 14291 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524062 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14915 14291 270 573 0 14333 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 59660 [startup+162.301 s] /proc/loadavg: 1.93 1.77 1.87 4/456 16316 /proc/meminfo: memFree=24275296/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=59660 CPUtime=162.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14568 0 0 0 16227 2 0 0 25 0 1 0 833150501 61091840 14341 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 14915 14341 270 573 0 14333 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 59660 [startup+222.318 s] /proc/loadavg: 2.08 1.84 1.89 4/456 16319 /proc/meminfo: memFree=24276272/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=60080 CPUtime=222.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14715 0 0 0 22228 2 0 0 25 0 1 0 833150501 61521920 14486 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15020 14486 270 573 0 14438 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 60080 [startup+282.301 s] /proc/loadavg: 2.03 1.87 1.89 3/456 16320 /proc/meminfo: memFree=24276480/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=60080 CPUtime=282.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 14723 0 0 0 28227 2 0 0 25 0 1 0 833150501 61521920 14494 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15020 14494 270 573 0 14438 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 60080 [startup+342.301 s] /proc/loadavg: 2.01 1.89 1.90 4/456 16323 /proc/meminfo: memFree=24275556/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=342.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15020 0 0 0 34227 2 0 0 25 0 1 0 833150501 62562304 14788 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14788 270 573 0 14692 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 61096 [startup+402.301 s] /proc/loadavg: 2.00 1.91 1.90 4/456 16325 /proc/meminfo: memFree=24275380/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=402.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15020 0 0 0 40227 2 0 0 25 0 1 0 833150501 62562304 14788 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14788 270 573 0 14692 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 61096 [startup+462.301 s] /proc/loadavg: 2.00 1.92 1.91 4/456 16326 /proc/meminfo: memFree=24275604/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=462.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15024 0 0 0 46227 3 0 0 25 0 1 0 833150501 62562304 14792 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524075 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14792 270 573 0 14692 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 61096 [startup+522.301 s] /proc/loadavg: 2.00 1.93 1.91 4/456 16329 /proc/meminfo: memFree=24276040/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=522.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15027 0 0 0 52227 3 0 0 25 0 1 0 833150501 62562304 14795 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14795 270 573 0 14692 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 61096 [startup+582.301 s] /proc/loadavg: 2.00 1.94 1.91 4/456 16330 /proc/meminfo: memFree=24275996/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=582.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15027 0 0 0 58227 3 0 0 25 0 1 0 833150501 62562304 14795 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14795 270 573 0 14692 0 Current children cumulated CPU time (s) 582.3 Current children cumulated vsize (KiB) 61096 ################ # More data... # ################ [startup+822.3 s] /proc/loadavg: 2.08 2.02 1.94 4/456 16337 /proc/meminfo: memFree=24276084/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=822.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15036 0 0 0 82227 3 0 0 25 0 1 0 833150501 62562304 14803 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523616 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14803 270 573 0 14692 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 61096 [startup+882.318 s] /proc/loadavg: 2.03 2.02 1.94 4/456 16338 /proc/meminfo: memFree=24274912/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=882.31 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15044 0 0 0 88228 3 0 0 25 0 1 0 833150501 62562304 14811 33554432000 4194304 6539028 140733586455312 18446744073709551615 4707867 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14811 270 573 0 14692 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 61096 [startup+942.3 s] /proc/loadavg: 2.01 2.01 1.94 4/456 16340 /proc/meminfo: memFree=24275480/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61096 CPUtime=942.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15044 0 0 0 94227 3 0 0 25 0 1 0 833150501 62562304 14811 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524109 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15274 14811 270 573 0 14692 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 61096 [startup+1002.3 s] /proc/loadavg: 2.00 2.01 1.94 4/456 16343 /proc/meminfo: memFree=24275064/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1002.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 100227 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524073 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 61728 [startup+1062.3 s] /proc/loadavg: 2.00 2.00 1.94 4/456 16344 /proc/meminfo: memFree=24274908/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1062.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 106227 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523764 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 61728 [startup+1122.3 s] /proc/loadavg: 2.00 2.00 1.94 4/456 16357 /proc/meminfo: memFree=24274856/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1122.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 112227 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524096 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 61728 [startup+1182.3 s] /proc/loadavg: 2.00 2.00 1.94 4/456 16358 /proc/meminfo: memFree=24274264/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1182.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 118226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523904 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 61728 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.94 4/456 16361 /proc/meminfo: memFree=24272996/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1242.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 124226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523827 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 61728 [startup+1302.3 s] /proc/loadavg: 2.08 2.03 1.95 3/456 16363 /proc/meminfo: memFree=24272840/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1302.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 130226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 61728 [startup+1362.3 s] /proc/loadavg: 2.10 2.05 1.96 4/456 16364 /proc/meminfo: memFree=24272936/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1362.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 136226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523755 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 61728 [startup+1422.3 s] /proc/loadavg: 2.04 2.04 1.96 4/456 16367 /proc/meminfo: memFree=24273144/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1422.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 142226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524083 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1422.29 Current children cumulated vsize (KiB) 61728 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 1.96 4/456 16369 /proc/meminfo: memFree=24272996/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1482.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 148226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523556 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1482.29 Current children cumulated vsize (KiB) 61728 [startup+1542.32 s] /proc/loadavg: 2.00 2.02 1.96 4/456 16371 /proc/meminfo: memFree=24275056/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1542.3 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 154227 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524059 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 61728 [startup+1602.3 s] /proc/loadavg: 2.00 2.02 1.96 4/456 16373 /proc/meminfo: memFree=24274896/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1602.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 160226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4501540 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1602.29 Current children cumulated vsize (KiB) 61728 [startup+1662.3 s] /proc/loadavg: 2.00 2.01 1.96 4/456 16374 /proc/meminfo: memFree=24275104/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1662.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 166226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523574 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1662.29 Current children cumulated vsize (KiB) 61728 [startup+1722.3 s] /proc/loadavg: 2.00 2.00 1.96 4/456 16377 /proc/meminfo: memFree=24274936/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1722.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 172226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4523728 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1722.29 Current children cumulated vsize (KiB) 61728 [startup+1782.3 s] /proc/loadavg: 2.00 2.00 1.96 4/456 16378 /proc/meminfo: memFree=24272800/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1782.29 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 178226 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524069 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1782.29 Current children cumulated vsize (KiB) 61728 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.1 s] /proc/loadavg: 2.00 2.00 1.96 2/455 16380 /proc/meminfo: memFree=24295976/32951124 swapFree=60476376/67111528 [pid=16306] ppid=16302 vsize=61728 CPUtime=1800.09 cores=0,2,4,6 /proc/16306/stat : 16306 (minisatid) R 16302 16306 14347 0 -1 4202496 15190 0 0 0 180006 3 0 0 25 0 1 0 833150501 63209472 14956 33554432000 4194304 6539028 140733586455312 18446744073709551615 4524117 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/16306/statm: 15432 14956 270 573 0 14850 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 61728 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.12 CPU time (s): 1800.12 CPU user time (s): 1800.08 CPU system time (s): 0.041993 CPU usage (%): 99.9999 Max. virtual memory (cumulated for all children) (KiB): 62432 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.08 system time used= 0.041993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 15193 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= 3 involuntary context switches= 3327 runsolver used 8.48671 second user time and 19.2161 second system time The end
Begin job on node147 at 2011-06-07 02:42:26 IDJOB=3464404 IDBENCH=48160 IDSOLVER=1956 FILE ID=node147/3464404-1307407346 RUNJOBID= node147-1307407346-16283 PBS_JOBID= 13514160 Free space on /tmp= 73772 MiB SOLVER NAME= MinisatID 2.4.8 BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_5.opb COMMAND LINE= HOME/minisatid BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3464404-1307407346/watcher-3464404-1307407346 -o /tmp/evaluation-result-3464404-1307407346/solver-3464404-1307407346 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid HOME/instance-3464404-1307407346.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= b1035f5aebd5cbd90440f32e03bdad12 RANDOM SEED=1140836333 node147.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.836 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.67 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.836 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.836 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.836 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.836 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.82 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.836 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.76 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.836 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.836 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: 24362912 kB Buffers: 352412 kB Cached: 1655428 kB SwapCached: 11188 kB Active: 6865228 kB Inactive: 1462272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 24362912 kB SwapTotal: 67111528 kB SwapFree: 60476376 kB Dirty: 5840 kB Writeback: 0 kB AnonPages: 6317432 kB Mapped: 22272 kB Slab: 135100 kB PageTables: 58188 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 120752680 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= 73768 MiB End job on node147 at 2011-06-07 03:12:28