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-gmp | ? (TO) | 44 | 1800.07 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_3.opb |
| MD5SUM | 0f5da0a781de7969842ad5c8dd7a6f1b |
| 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 | 27 |
| Best CPU time to get the best result obtained on this benchmark | 1797.14 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 35 |
| 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 | 50 |
| 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) | 15722 |
| Sum of products size (including duplicates) | 31444 |
| Number of different products | 15722 |
| Sum of products size | 31444 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 0.99/1.05 o 499 1.21/1.28 o 498 1.39/1.49 o 497 1.69/1.71 o 496 1.89/1.94 o 495 2.09/2.16 o 494 2.31/2.38 o 493 2.59/2.60 o 492 2.79/2.82 o 491 2.99/3.04 o 490 3.19/3.26 o 489 3.41/3.48 o 488 3.69/3.71 o 487 3.89/3.93 o 486 4.09/4.15 o 485 4.29/4.37 o 484 4.51/4.58 o 483 4.79/4.81 o 482 4.99/5.03 o 481 5.19/5.25 o 480 5.39/5.47 o 479 5.61/5.68 o 478 5.89/5.90 o 477 6.09/6.13 o 476 6.29/6.35 o 475 6.49/6.57 o 474 6.71/6.79 o 473 6.99/7.01 o 472 7.19/7.23 o 471 7.39/7.45 o 470 7.59/7.68 o 469 7.81/7.89 o 468 8.09/8.12 o 467 8.29/8.34 o 466 8.49/8.56 o 465 8.69/8.78 o 464 8.91/8.99 o 463 9.19/9.21 o 462 9.39/9.43 o 461 9.59/9.66 o 460 9.79/9.88 o 459 10.09/10.10 o 458 10.29/10.32 o 457 10.49/10.54 o 456 10.69/10.77 o 455 10.89/10.99 o 454 11.19/11.21 o 453 11.39/11.43 o 452 11.59/11.65 o 451 13.89/13.92 o 450 17.89/17.94 o 449 20.91/20.95 o 448 23.59/23.66 o 447 23.99/24.05 o 446 24.39/24.42 o 445 24.79/24.80 o 444 25.59/25.60 o 443 25.89/25.97 o 442 26.29/26.35 o 441 26.79/26.83 o 440 27.19/27.20 o 439 27.61/27.68 o 438 27.99/28.05 o 437 29.39/29.44 o 436 29.81/29.84 o 435 30.39/30.46 o 434 30.99/31.09 o 433 31.49/31.54 o 432 31.91/31.95 o 431 32.29/32.30 o 430 32.59/32.64 o 429 32.89/33.00 o 428 33.59/33.61 o 427 42.49/42.51 o 426 42.91/42.95 o 425 43.69/43.71 o 424 47.69/47.74 o 423 48.29/48.30 o 422 49.09/49.18 o 421 49.61/49.67 o 420 50.09/50.10 o 419 50.49/50.60 o 418 51.09/51.11 o 417 51.99/52.06 o 416 55.19/55.27 o 415 55.99/56.00 o 414 56.59/56.63 o 413 57.39/57.47 o 412 57.79/57.88 o 411 59.19/59.27 o 410 60.51/60.57 o 409 65.39/65.46 o 408 69.59/69.68 o 407 76.19/76.27 o 406 79.59/79.62 o 405 80.49/80.52 o 404 81.29/81.38 o 403 81.89/81.91 o 402 82.51/82.55 o 401 82.99/83.08 o 400 85.99/86.07 o 399 90.79/90.85 o 398 91.79/91.88 o 397 92.89/92.94 o 396 98.69/98.70 o 395 99.19/99.22 o 394 99.79/99.80 o 393 100.21/100.23 o 392 100.69/100.77 o 391 101.39/101.40 o 390 101.79/101.84 o 389 102.31/102.32 o 388 102.79/102.88 o 387 103.29/103.32 o 386 103.79/103.84 o 385 104.19/104.25 o 384 104.69/104.77 o 383 105.09/105.18 o 382 105.61/105.70 o 381 106.09/106.11 o 380 106.49/106.59 o 379 109.49/109.51 o 378 111.79/111.84 o 377 112.39/112.47 o 376 114.09/114.10 o 375 114.51/114.56 o 374 114.89/114.93 o 373 115.39/115.41 o 372 115.79/115.89 o 371 116.39/116.48 o 370 117.09/117.15 o 369 117.81/117.82 o 368 118.69/118.80 o 367 119.39/119.47 o 366 120.09/120.14 o 365 120.79/120.81 o 364 121.79/121.85 o 363 123.39/123.44 o 362 129.39/129.47 o 361 129.99/130.08 o 360 130.59/130.66 o 359 131.19/131.22 o 358 131.59/131.62 o 357 132.01/132.09 o 356 132.49/132.50 o 355 132.99/133.03 o 354 133.39/133.47 o 353 133.79/133.85 o 352 134.31/134.39 o 351 134.79/134.81 o 350 135.31/135.36 o 349 135.89/135.93 o 348 136.41/136.43 o 347 137.09/137.10 o 346 137.61/137.64 o 345 139.99/140.06 o 344 140.59/140.63 o 343 141.09/141.20 o 342 141.69/141.76 o 341 142.09/142.16 o 340 142.69/142.72 o 339 143.01/143.10 o 338 143.49/143.50 o 337 143.89/143.98 o 336 144.39/144.42 o 335 144.79/144.80 o 334 145.09/145.17 o 333 145.59/145.69 o 332 145.99/146.09 o 331 146.41/146.49 o 330 146.89/146.95 o 329 147.41/147.42 o 328 147.79/147.83 o 327 148.19/148.29 o 326 148.69/148.78 o 325 149.09/149.16 o 324 149.49/149.53 o 323 149.99/150.02 o 322 156.09/156.12 o 321 156.69/156.78 o 320 157.41/157.42 o 319 157.99/158.04 o 318 158.59/158.62 o 317 159.19/159.21 o 316 159.51/159.55 o 315 160.09/160.14 o 314 160.49/160.51 o 313 160.79/160.88 o 312 161.19/161.29 o 311 161.59/161.68 o 310 162.09/162.18 o 309 162.69/162.77 o 308 163.09/163.15 o 307 163.49/163.54 o 306 163.91/163.92 o 305 164.39/164.45 o 304 164.89/164.95 o 303 165.29/165.39 o 302 165.79/165.84 o 301 166.29/166.36 o 300 166.99/167.04 o 299 167.31/167.39 o 298 167.79/167.85 o 297 168.19/168.23 o 296 168.59/168.60 o 295 169.19/169.24 o 294 169.59/169.60 o 293 169.99/170.04 o 292 170.39/170.40 o 291 170.69/170.78 o 290 171.09/171.16 o 289 171.89/171.94 o 288 172.29/172.31 o 287 172.71/172.74 o 286 172.99/173.09 o 285 173.39/173.46 o 284 173.81/173.85 o 283 174.49/174.56 o 282 174.91/174.93 o 281 175.29/175.36 o 280 175.69/175.72 o 279 176.01/176.08 o 278 176.39/176.43 o 277 176.99/177.11 o 276 177.59/177.65 o 275 178.21/178.26 o 274 178.59/178.63 o 273 178.99/179.01 o 272 179.31/179.37 o 271 179.69/179.72 o 270 180.19/180.29 o 269 180.89/180.90 o 268 181.29/181.31 o 267 181.61/181.67 o 266 181.99/182.05 o 265 182.39/182.41 o 264 182.71/182.75 o 263 184.29/184.36 o 262 190.49/190.53 o 261 191.09/191.12 o 260 191.59/191.64 o 259 192.09/192.14 o 258 192.51/192.55 o 257 192.89/192.91 o 256 193.19/193.26 o 255 193.61/193.66 o 254 193.99/194.02 o 253 194.39/194.48 o 252 194.81/194.88 o 251 195.39/195.45 o 250 195.81/195.83 o 249 196.09/196.19 o 248 196.49/196.53 o 247 196.91/196.92 o 246 197.29/197.31 o 245 197.69/197.75 o 244 198.39/198.44 o 243 198.79/198.81 o 242 199.11/199.19 o 241 199.49/199.54 o 240 199.89/199.90 o 239 200.21/200.22 o 238 200.59/200.62 o 237 201.59/201.62 o 236 214.69/214.75 o 235 220.99/221.00 o 234 234.89/234.99 o 233 235.41/235.48 o 232 235.79/235.86 o 231 236.19/236.24 o 230 236.51/236.58 o 229 236.89/236.93 o 228 237.19/237.29 o 227 237.61/237.63 o 226 238.19/238.25 o 225 238.59/238.65 o 224 239.81/239.88 o 223 241.39/241.43 o 222 243.99/244.00 o 221 247.51/247.55 o 220 247.99/248.07 o 219 248.39/248.50 o 218 248.79/248.86 o 217 249.29/249.30 o 216 249.59/249.67 o 215 250.09/250.13 o 214 250.59/250.62 o 213 250.91/250.99 o 212 251.39/251.44 o 211 251.91/251.98 o 210 252.29/252.40 o 209 252.69/252.76 o 208 253.11/253.15 o 207 253.39/253.49 o 206 253.79/253.89 o 205 254.29/254.36 o 204 254.69/254.72 o 203 255.09/255.13 o 202 255.59/255.62 o 201 255.99/256.00 o 200 256.31/256.37 o 199 256.69/256.77 o 198 257.29/257.33 o 197 257.89/257.94 o 196 258.29/258.31 o 195 258.79/258.82 o 194 259.09/259.16 o 193 259.49/259.53 o 192 259.89/259.94 o 191 260.29/260.36 o 190 260.71/260.74 o 189 261.19/261.25 o 188 261.59/261.63 o 187 262.49/262.52 o 186 268.09/268.14 o 185 268.69/268.70 o 184 271.71/271.81 o 183 272.19/272.23 o 182 272.69/272.70 o 181 273.39/273.47 o 180 273.91/273.92 o 179 274.49/274.52 o 178 274.89/274.92 o 177 275.29/275.34 o 176 275.69/275.76 o 175 276.11/276.19 o 174 276.59/276.62 o 173 276.99/277.09 o 172 277.59/277.62 o 171 278.09/278.14 o 170 278.79/278.88 o 169 279.29/279.35 o 168 279.79/279.81 o 167 280.19/280.27 o 166 280.69/280.74 o 165 281.19/281.21 o 164 281.71/281.75 o 163 282.29/282.32 o 162 282.81/282.86 o 161 283.49/283.57 o 160 284.19/284.28 o 159 284.91/285.00 o 158 285.49/285.52 o 157 286.01/286.12 o 156 286.59/286.68 o 155 287.21/287.25 o 154 287.79/287.90 o 153 288.49/288.53 o 152 289.09/289.14 o 151 289.99/290.02 o 150 290.69/290.77 o 149 291.39/291.42 o 148 291.99/292.04 o 147 292.61/292.71 o 146 293.29/293.36 o 145 293.99/294.02 o 144 294.59/294.68 o 143 295.39/295.43 o 142 296.09/296.13 o 141 296.79/296.86 o 140 297.79/297.85 o 139 298.69/298.73 o 138 299.39/299.49 o 137 300.19/300.26 o 136 300.99/301.08 o 135 301.79/301.86 o 134 302.61/302.67 o 133 303.39/303.50 o 132 304.29/304.36 o 131 305.29/305.33 o 130 306.09/306.18 o 129 307.01/307.06 o 128 307.89/308.01 o 127 308.89/308.95 o 126 310.09/310.10 o 125 311.09/311.16 o 124 312.09/312.13 o 123 313.09/313.10 o 122 314.49/314.62 o 121 315.71/315.74 o 120 316.69/316.78 o 119 317.79/317.82 o 118 319.39/319.40 o 117 320.39/320.47 o 116 321.49/321.55 o 115 322.59/322.62 o 114 323.89/323.96 o 113 326.81/326.84 o 112 327.91/328.00 o 111 329.09/329.13 o 110 330.19/330.27 o 109 331.39/331.42 o 108 332.49/332.59 o 107 333.69/333.79 o 106 335.61/335.69 o 105 337.29/337.39 o 104 338.69/338.74 o 103 340.89/341.02 o 102 342.79/342.80 o 101 344.19/344.23 o 100 345.52/345.57 o 99 346.79/346.90 o 98 348.19/348.23 o 97 349.59/349.62 o 96 351.09/351.15 o 95 352.49/352.55 o 94 354.09/354.17 o 93 357.79/357.84 o 92 359.39/359.49 o 91 361.00/361.00 o 90 362.50/362.50 o 89 364.00/364.01 o 88 365.50/365.50 o 87 367.00/367.04 o 86 368.52/368.60 o 85 370.10/370.13 o 84 371.60/371.66 o 83 373.30/373.36 o 82 375.12/375.13 o 81 377.20/377.23 o 80 379.10/379.15 o 79 380.80/380.85 o 78 382.50/382.50 o 77 384.30/384.31 o 76 386.12/386.17 o 75 408.60/408.61 o 74 410.42/410.48 o 73 412.40/412.50 o 72 414.82/414.86 o 71 417.10/417.17 o 70 419.40/419.41 o 69 421.32/421.35 o 68 423.30/423.31 o 67 425.30/425.39 o 66 427.31/427.38 o 65 429.30/429.39 o 64 431.40/431.49 o 63 433.52/433.52 o 62 435.50/435.55 o 61 437.50/437.57 o 60 439.70/439.77 o 59 441.90/441.91 o 58 444.00/444.04 o 57 446.20/446.25 o 56 450.30/450.31 o 55 599.10/599.16 o 54 601.51/601.50 o 53 605.02/605.06 o 52 607.33/607.34 o 51 1061.63/1061.70 o 50 1096.01/1096.02 o 49 1140.12/1140.11 o 48 1339.33/1339.39 o 47 1359.93/1359.99 o 46 1363.05/1363.02 o 45 1420.33/1420.38 o 44 1800.05/1800.02 >>> Terminate signal received 1800.05/1800.02 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 44
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-3466017-1307418362/watcher-3466017-1307418362 -o /tmp/evaluation-result-3466017-1307418362/solver-3466017-1307418362 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466017-1307418362.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.03 1.55 1.82 3/571 21908 /proc/meminfo: memFree=31620252/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=8520 CPUtime=0.01 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 652 0 0 0 1 0 0 0 23 0 1 0 853434980 8724480 599 33554432000 4194304 6736272 140737432649520 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 2130 599 248 621 0 1500 0 [startup+0.112306 s] /proc/loadavg: 1.03 1.55 1.82 3/571 21908 /proc/meminfo: memFree=31620252/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=22596 CPUtime=0.1 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 4137 0 0 0 10 0 0 0 24 0 1 0 853434980 23138304 4084 33554432000 4194304 6736272 140737432649520 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 5649 4086 248 621 0 5019 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 22596 [startup+0.200286 s] /proc/loadavg: 1.03 1.55 1.82 3/571 21908 /proc/meminfo: memFree=31620252/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=35636 CPUtime=0.19 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 7473 0 0 0 19 0 0 0 24 0 1 0 853434980 36491264 7387 33554432000 4194304 6736272 140737432649520 18446744073709551615 5221948 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 8909 7387 266 621 0 8279 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 35636 [startup+0.300267 s] /proc/loadavg: 1.03 1.55 1.82 3/571 21908 /proc/meminfo: memFree=31620252/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=44748 CPUtime=0.28 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 9749 0 0 0 28 0 0 0 25 0 1 0 853434980 45821952 9598 33554432000 4194304 6736272 140737432649520 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 11187 9599 266 621 0 10557 0 Current children cumulated CPU time (s) 0.28 Current children cumulated vsize (KiB) 44748 [startup+0.701192 s] /proc/loadavg: 1.03 1.55 1.82 3/571 21908 /proc/meminfo: memFree=31620252/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=85448 CPUtime=0.69 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 19958 0 0 0 68 1 0 0 25 0 1 0 853434980 87498752 19807 33554432000 4194304 6736272 140737432649520 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 21362 19809 266 621 0 20732 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85448 [startup+1.50094 s] /proc/loadavg: 1.03 1.55 1.82 3/573 21910 /proc/meminfo: memFree=31420108/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106820 CPUtime=1.49 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25312 0 0 0 147 2 0 0 25 0 1 0 853434980 109383680 25161 33554432000 4194304 6736272 140737432649520 18446744073709551615 4279482 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26705 25161 276 621 0 26075 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 106820 [startup+3.10076 s] /proc/loadavg: 1.03 1.55 1.82 3/573 21910 /proc/meminfo: memFree=31418504/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106820 CPUtime=3.09 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25316 0 0 0 307 2 0 0 25 0 1 0 853434980 109383680 25165 33554432000 4194304 6736272 140737432649520 18446744073709551615 5818029 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26705 25165 276 621 0 26075 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 106820 [startup+6.30119 s] /proc/loadavg: 1.10 1.56 1.82 3/573 21910 /proc/meminfo: memFree=31418804/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106820 CPUtime=6.29 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25322 0 0 0 627 2 0 0 25 0 1 0 853434980 109383680 25171 33554432000 4194304 6736272 140737432649520 18446744073709551615 5806495 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26705 25171 276 621 0 26075 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 106820 [startup+12.701 s] /proc/loadavg: 1.18 1.56 1.82 3/573 21910 /proc/meminfo: memFree=31417724/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106820 CPUtime=12.69 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25356 0 0 0 1267 2 0 0 25 0 1 0 853434980 109383680 25203 33554432000 4194304 6736272 140737432649520 18446744073709551615 5806442 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26705 25203 286 621 0 26075 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 106820 [startup+25.5008 s] /proc/loadavg: 1.36 1.58 1.82 3/573 21911 /proc/meminfo: memFree=31417248/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=102964 CPUtime=25.49 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25411 0 0 0 2547 2 0 0 25 0 1 0 853434980 105435136 25190 33554432000 4194304 6736272 140737432649520 18446744073709551615 5817936 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25741 25190 286 621 0 25111 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 102964 [startup+51.1012 s] /proc/loadavg: 1.58 1.62 1.82 3/573 21911 /proc/meminfo: memFree=31417268/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=102964 CPUtime=51.09 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25446 0 0 0 5107 2 0 0 25 0 1 0 853434980 105435136 25217 33554432000 4194304 6736272 140737432649520 18446744073709551615 4743819 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25741 25217 286 621 0 25111 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102964 [startup+102.301 s] /proc/loadavg: 1.81 1.67 1.83 3/573 21913 /proc/meminfo: memFree=31416140/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=102964 CPUtime=102.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25467 0 0 0 10229 2 0 0 25 0 1 0 853434980 105435136 25236 33554432000 4194304 6736272 140737432649520 18446744073709551615 5811878 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25741 25236 286 621 0 25111 0 Current children cumulated CPU time (s) 102.31 Current children cumulated vsize (KiB) 102964 [startup+162.3 s] /proc/loadavg: 1.93 1.73 1.83 3/573 21914 /proc/meminfo: memFree=31413360/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=102964 CPUtime=162.29 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25517 0 0 0 16227 2 0 0 25 0 1 0 853434980 105435136 25285 33554432000 4194304 6736272 140737432649520 18446744073709551615 5811974 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25741 25285 286 621 0 25111 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 102964 [startup+222.322 s] /proc/loadavg: 1.97 1.78 1.84 3/573 21916 /proc/meminfo: memFree=31414944/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=103980 CPUtime=222.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25547 0 0 0 22229 2 0 0 25 0 1 0 853434980 106475520 25315 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25995 25315 286 621 0 25365 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 103980 [startup+282.301 s] /proc/loadavg: 1.99 1.81 1.84 3/573 21918 /proc/meminfo: memFree=31416420/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=103980 CPUtime=282.29 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25575 0 0 0 28227 2 0 0 25 0 1 0 853434980 106475520 25341 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25995 25341 286 621 0 25365 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 103980 [startup+342.3 s] /proc/loadavg: 1.99 1.85 1.85 3/573 21919 /proc/meminfo: memFree=31415992/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=103980 CPUtime=342.29 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25612 0 0 0 34227 2 0 0 25 0 1 0 853434980 106475520 25377 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 25995 25377 286 621 0 25365 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 103980 [startup+402.301 s] /proc/loadavg: 2.09 1.90 1.87 3/573 21921 /proc/meminfo: memFree=31414800/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=402.3 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25772 0 0 0 40227 3 0 0 25 0 1 0 853434980 106876928 25536 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535033 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25536 286 621 0 25463 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 104372 [startup+462.301 s] /proc/loadavg: 2.08 1.93 1.88 3/573 21922 /proc/meminfo: memFree=31414776/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=462.3 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25786 0 0 0 46227 3 0 0 25 0 1 0 853434980 106876928 25548 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25548 286 621 0 25463 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 104372 [startup+522.3 s] /proc/loadavg: 2.10 1.97 1.89 3/573 21924 /proc/meminfo: memFree=31415128/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=522.3 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25801 0 0 0 52227 3 0 0 25 0 1 0 853434980 106876928 25562 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25562 286 621 0 25463 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 104372 [startup+582.3 s] /proc/loadavg: 2.07 1.99 1.91 3/573 21926 /proc/meminfo: memFree=31414360/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=582.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25802 0 0 0 58228 3 0 0 25 0 1 0 853434980 106876928 25563 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535003 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25563 286 621 0 25463 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 104372 ################ # More data... # ################ [startup+882.321 s] /proc/loadavg: 2.00 1.99 1.91 3/573 21934 /proc/meminfo: memFree=31413092/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=882.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25855 0 0 0 88230 3 0 0 25 0 1 0 853434980 106876928 25615 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25615 286 621 0 25463 0 Current children cumulated CPU time (s) 882.33 Current children cumulated vsize (KiB) 104372 [startup+942.3 s] /proc/loadavg: 2.07 2.00 1.91 3/573 21944 /proc/meminfo: memFree=31413712/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=942.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25855 0 0 0 94228 3 0 0 25 0 1 0 853434980 106876928 25615 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25615 286 621 0 25463 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 104372 [startup+1002.3 s] /proc/loadavg: 2.08 2.02 1.92 3/573 21946 /proc/meminfo: memFree=31413680/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1002.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25855 0 0 0 100228 3 0 0 25 0 1 0 853434980 106876928 25615 33554432000 4194304 6736272 140737432649520 18446744073709551615 4512608 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25615 286 621 0 25463 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 104372 [startup+1062.3 s] /proc/loadavg: 2.08 2.03 1.93 3/573 21947 /proc/meminfo: memFree=31413652/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1062.31 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 106228 3 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1062.31 Current children cumulated vsize (KiB) 104372 [startup+1122.3 s] /proc/loadavg: 2.07 2.03 1.93 3/573 21952 /proc/meminfo: memFree=31413792/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1122.32 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 112228 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534692 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1122.32 Current children cumulated vsize (KiB) 104372 [startup+1182.3 s] /proc/loadavg: 2.02 2.03 1.93 3/573 21954 /proc/meminfo: memFree=31412508/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1182.32 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 118228 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 104372 [startup+1242.3 s] /proc/loadavg: 2.01 2.02 1.93 3/573 21955 /proc/meminfo: memFree=31411596/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1242.32 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 124228 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4512640 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1242.32 Current children cumulated vsize (KiB) 104372 [startup+1302.3 s] /proc/loadavg: 2.00 2.01 1.93 3/573 21957 /proc/meminfo: memFree=31412804/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1302.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 130229 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1302.33 Current children cumulated vsize (KiB) 104372 [startup+1362.3 s] /proc/loadavg: 2.00 2.01 1.93 3/573 21958 /proc/meminfo: memFree=31414512/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1362.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 136229 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1362.33 Current children cumulated vsize (KiB) 104372 [startup+1422.3 s] /proc/loadavg: 2.00 2.00 1.93 3/573 21960 /proc/meminfo: memFree=31414248/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=104372 CPUtime=1422.34 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25858 0 0 0 142230 4 0 0 25 0 1 0 853434980 106876928 25618 33554432000 4194304 6736272 140737432649520 18446744073709551615 5803218 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26093 25618 286 621 0 25463 0 Current children cumulated CPU time (s) 1422.34 Current children cumulated vsize (KiB) 104372 [startup+1482.3 s] /proc/loadavg: 2.00 2.00 1.93 3/573 21962 /proc/meminfo: memFree=31412608/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1482.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 25872 0 0 0 148229 4 0 0 25 0 1 0 853434980 108564480 25632 33554432000 4194304 6736272 140737432649520 18446744073709551615 5806398 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25632 286 621 0 25875 0 Current children cumulated CPU time (s) 1482.33 Current children cumulated vsize (KiB) 106020 [startup+1542.32 s] /proc/loadavg: 2.07 2.03 1.94 3/573 21963 /proc/meminfo: memFree=31414428/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1542.35 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26026 0 0 0 154231 4 0 0 25 0 1 0 853434980 108564480 25785 33554432000 4194304 6736272 140737432649520 18446744073709551615 4734703 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25785 286 621 0 25875 0 Current children cumulated CPU time (s) 1542.35 Current children cumulated vsize (KiB) 106020 [startup+1602.3 s] /proc/loadavg: 2.12 2.05 1.95 3/573 21965 /proc/meminfo: memFree=31412164/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1602.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 160229 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1602.33 Current children cumulated vsize (KiB) 106020 [startup+1662.3 s] /proc/loadavg: 2.11 2.05 1.96 3/573 21966 /proc/meminfo: memFree=31412264/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1662.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 166229 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1662.33 Current children cumulated vsize (KiB) 106020 [startup+1722.3 s] /proc/loadavg: 2.04 2.04 1.96 3/573 21968 /proc/meminfo: memFree=31412232/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1722.33 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 172229 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535245 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1722.33 Current children cumulated vsize (KiB) 106020 [startup+1782.3 s] /proc/loadavg: 2.01 2.03 1.96 3/573 21970 /proc/meminfo: memFree=31409952/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1782.34 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 178230 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4512640 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1782.34 Current children cumulated vsize (KiB) 106020 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.03 1.96 5/573 21970 /proc/meminfo: memFree=31410304/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1800.05 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 180001 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 106020 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800 s] /proc/loadavg: 2.01 2.03 1.96 5/573 21970 /proc/meminfo: memFree=31410304/32950928 swapFree=43925852/67111528 [pid=21908] ppid=21906 vsize=106020 CPUtime=1800.05 cores=0,2,4,6 /proc/21908/stat : 21908 (minisatid-gmp) R 21906 21908 21733 0 -1 4202496 26027 0 0 0 180001 4 0 0 25 0 1 0 853434980 108564480 25786 33554432000 4194304 6736272 140737432649520 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/21908/statm: 26505 25786 286 621 0 25875 0 Current children cumulated CPU time (s) 1800.05 Current children cumulated vsize (KiB) 106020 Child status: 0 Real time (s): 1800.03 CPU time (s): 1800.07 CPU user time (s): 1800.02 CPU system time (s): 0.049992 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 106820 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1800.02 system time used= 0.049992 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 26032 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= 2609 runsolver used 10.2774 second user time and 22.6166 second system time The end
Begin job on node122 at 2011-06-07 05:46:02 IDJOB=3466017 IDBENCH=48113 IDSOLVER=1957 FILE ID=node122/3466017-1307418362 RUNJOBID= node122-1307418362-21889 PBS_JOBID= 13514238 Free space on /tmp= 73868 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_3.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466017-1307418362/watcher-3466017-1307418362 -o /tmp/evaluation-result-3466017-1307418362/solver-3466017-1307418362 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466017-1307418362.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 0f5da0a781de7969842ad5c8dd7a6f1b RANDOM SEED=954816632 node122.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.820 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.64 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.820 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.820 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.75 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.820 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.83 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.820 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.75 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.820 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.820 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.75 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.820 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.97 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 31620904 kB Buffers: 356268 kB Cached: 634500 kB SwapCached: 16832 kB Active: 507748 kB Inactive: 506716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 31620904 kB SwapTotal: 67111528 kB SwapFree: 43925852 kB Dirty: 6228 kB Writeback: 0 kB AnonPages: 20256 kB Mapped: 10028 kB Slab: 151296 kB PageTables: 92416 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 180730524 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= 73864 MiB End job on node122 at 2011-06-07 06:16:04