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) | 45 | 1800.03 | 1800.03 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_2.opb |
| MD5SUM | e4d0ce6c299ae1a05f607b170c68aad6 |
| 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.1 |
| Has Objective Function | YES |
| Satisfiable | YES |
| (Un)Satisfiability was proved | YES |
| Best value of the objective function | 33 |
| 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 | 46 |
| 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) | 15670 |
| Sum of products size (including duplicates) | 31340 |
| Number of different products | 15670 |
| Sum of products size | 31340 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1.10/1.15 o 499 1.28/1.38 o 498 1.58/1.61 o 497 1.78/1.83 o 496 1.98/2.05 o 495 2.20/2.27 o 494 2.38/2.49 o 493 2.68/2.72 o 492 2.88/2.93 o 491 3.08/3.15 o 490 3.30/3.37 o 489 3.48/3.58 o 488 3.78/3.80 o 487 3.98/4.02 o 486 4.18/4.24 o 485 4.40/4.47 o 484 4.58/4.69 o 483 4.88/4.91 o 482 5.08/5.14 o 481 5.28/5.36 o 480 5.50/5.59 o 479 5.78/5.81 o 478 5.98/6.03 o 477 6.18/6.26 o 476 6.38/6.48 o 475 6.68/6.70 o 474 6.88/6.93 o 473 7.08/7.15 o 472 7.28/7.37 o 471 7.48/7.60 o 470 7.78/7.82 o 469 7.98/8.04 o 468 8.18/8.27 o 467 8.38/8.49 o 466 8.58/8.71 o 465 8.88/8.94 o 464 9.08/9.16 o 463 9.28/9.38 o 462 9.59/9.60 o 461 9.79/9.82 o 460 9.99/10.04 o 459 10.19/10.26 o 458 10.39/10.48 o 457 10.69/10.71 o 456 10.89/10.93 o 455 11.09/11.16 o 454 11.29/11.39 o 453 11.59/11.61 o 452 11.79/11.84 o 451 11.99/12.06 o 450 12.19/12.29 o 449 12.49/12.52 o 448 12.69/12.74 o 447 12.89/12.97 o 446 13.09/13.20 o 445 13.39/13.42 o 444 13.59/13.65 o 443 13.79/13.87 o 442 14.09/14.10 o 441 24.89/24.99 o 440 26.99/27.03 o 439 27.29/27.37 o 438 27.69/27.72 o 437 27.99/28.07 o 436 28.49/28.59 o 435 28.99/29.06 o 434 29.79/29.89 o 433 30.19/30.24 o 432 30.49/30.59 o 431 30.89/30.93 o 430 31.29/31.34 o 429 31.91/31.95 o 428 32.49/32.58 o 427 34.59/34.64 o 426 41.39/41.47 o 425 41.81/41.84 o 424 42.69/42.75 o 423 43.09/43.14 o 422 43.49/43.55 o 421 50.29/50.36 o 420 50.79/50.83 o 419 52.19/52.23 o 418 52.99/53.06 o 417 53.39/53.44 o 416 53.69/53.80 o 415 54.09/54.17 o 414 54.39/54.47 o 413 55.89/55.97 o 412 56.99/57.08 o 411 57.39/57.42 o 410 57.79/57.86 o 409 62.59/62.69 o 408 62.99/63.01 o 407 63.49/63.51 o 406 63.80/63.87 o 405 64.19/64.23 o 404 64.59/64.61 o 403 65.19/65.23 o 402 65.49/65.55 o 401 65.89/65.96 o 400 73.19/73.21 o 399 73.99/74.08 o 398 77.39/77.49 o 397 77.89/77.92 o 396 80.89/80.90 o 395 83.19/83.25 o 394 83.79/83.80 o 393 84.09/84.15 o 392 84.59/84.63 o 391 84.98/85.02 o 390 85.48/85.52 o 389 85.79/85.87 o 388 86.38/86.44 o 387 86.78/86.87 o 386 87.18/87.27 o 385 87.58/87.60 o 384 88.18/88.25 o 383 88.58/88.67 o 382 91.38/91.48 o 381 99.28/99.30 o 380 102.38/102.42 o 379 107.28/107.36 o 378 108.78/108.88 o 377 109.18/109.23 o 376 109.58/109.63 o 375 110.08/110.10 o 374 110.78/110.81 o 373 111.18/111.27 o 372 111.58/111.61 o 371 112.08/112.12 o 370 112.47/112.54 o 369 112.98/113.05 o 368 113.38/113.41 o 367 113.78/113.81 o 366 114.08/114.18 o 365 114.48/114.55 o 364 114.88/114.92 o 363 115.18/115.22 o 362 122.18/122.27 o 361 122.58/122.63 o 360 122.98/123.01 o 359 123.28/123.33 o 358 124.08/124.19 o 357 133.98/134.09 o 356 134.98/135.05 o 355 135.47/135.51 o 354 135.98/136.06 o 353 136.39/136.44 o 352 136.98/137.01 o 351 137.49/137.56 o 350 140.57/140.63 o 349 140.97/141.05 o 348 141.48/141.52 o 347 141.89/141.96 o 346 142.28/142.31 o 345 142.58/142.64 o 344 142.99/143.03 o 343 143.68/143.79 o 342 145.57/145.68 o 341 146.77/146.84 o 340 147.78/147.88 o 339 149.98/150.08 o 338 150.78/150.89 o 337 151.37/151.45 o 336 155.78/155.87 o 335 156.38/156.44 o 334 156.98/157.01 o 333 157.48/157.58 o 332 158.07/158.14 o 331 158.48/158.59 o 330 159.98/160.01 o 329 160.38/160.43 o 328 161.18/161.20 o 327 161.69/161.78 o 326 162.48/162.50 o 325 162.88/162.91 o 324 163.18/163.28 o 323 164.48/164.59 o 322 165.78/165.87 o 321 166.58/166.65 o 320 167.48/167.52 o 319 167.88/167.91 o 318 168.29/168.38 o 317 168.88/168.95 o 316 169.28/169.39 o 315 169.88/169.92 o 314 170.38/170.42 o 313 170.68/170.75 o 312 171.18/171.22 o 311 171.59/171.63 o 310 171.98/172.09 o 309 172.38/172.43 o 308 172.78/172.89 o 307 173.18/173.29 o 306 173.68/173.72 o 305 173.97/174.06 o 304 174.47/174.51 o 303 174.89/174.92 o 302 175.28/175.36 o 301 175.68/175.74 o 300 176.48/176.54 o 299 176.88/176.94 o 298 177.27/177.30 o 297 177.77/177.83 o 296 178.47/178.50 o 295 178.77/178.85 o 294 179.18/179.22 o 293 179.57/179.62 o 292 180.07/180.13 o 291 180.47/180.51 o 290 180.77/180.88 o 289 181.17/181.26 o 288 181.57/181.64 o 287 182.07/182.15 o 286 182.48/182.54 o 285 182.77/182.88 o 284 183.27/183.33 o 283 183.69/183.73 o 282 184.47/184.50 o 281 184.97/185.00 o 280 185.47/185.51 o 279 185.97/186.02 o 278 187.57/187.62 o 277 197.57/197.68 o 276 197.99/198.02 o 275 198.27/198.37 o 274 198.67/198.79 o 273 199.09/199.12 o 272 199.47/199.54 o 271 200.07/200.13 o 270 200.37/200.48 o 269 200.67/200.79 o 268 201.07/201.20 o 267 201.47/201.53 o 266 201.87/201.95 o 265 202.47/202.50 o 264 202.77/202.86 o 263 203.17/203.21 o 262 203.57/203.62 o 261 203.87/203.96 o 260 206.17/206.25 o 259 212.77/212.80 o 258 213.07/213.19 o 257 230.77/230.81 o 256 231.37/231.40 o 255 231.67/231.74 o 254 232.47/232.52 o 253 233.07/233.20 o 252 233.67/233.74 o 251 234.07/234.13 o 250 234.47/234.51 o 249 234.77/234.89 o 248 235.17/235.27 o 247 236.27/236.36 o 246 239.57/239.60 o 245 243.37/243.46 o 244 243.97/244.03 o 243 247.57/247.63 o 242 248.27/248.30 o 241 248.77/248.84 o 240 249.17/249.25 o 239 249.57/249.65 o 238 249.87/249.97 o 237 250.27/250.30 o 236 250.57/250.65 o 235 250.87/250.98 o 234 253.97/254.07 o 233 254.67/254.77 o 232 255.47/255.56 o 231 255.77/255.88 o 230 256.07/256.20 o 229 256.47/256.52 o 228 256.77/256.84 o 227 257.07/257.17 o 226 257.47/257.50 o 225 258.27/258.33 o 224 258.57/258.65 o 223 258.97/259.02 o 222 259.27/259.35 o 221 259.59/259.67 o 220 259.87/259.98 o 219 260.27/260.30 o 218 260.57/260.64 o 217 260.97/261.07 o 216 263.77/263.87 o 215 264.37/264.45 o 214 264.77/264.89 o 213 265.17/265.28 o 212 265.57/265.62 o 211 265.87/265.94 o 210 266.19/266.27 o 209 266.57/266.65 o 208 267.07/267.12 o 207 267.37/267.42 o 206 267.77/267.84 o 205 268.17/268.25 o 204 268.57/268.66 o 203 268.87/268.99 o 202 269.27/269.31 o 201 269.57/269.61 o 200 269.87/269.92 o 199 270.17/270.28 o 198 270.67/270.71 o 197 271.77/271.87 o 196 274.77/274.86 o 195 285.37/285.43 o 194 285.67/285.74 o 193 285.99/286.04 o 192 286.27/286.34 o 191 286.57/286.64 o 190 286.87/286.95 o 189 287.57/287.64 o 188 288.19/288.22 o 187 288.47/288.54 o 186 288.77/288.85 o 185 289.07/289.14 o 184 289.37/289.45 o 183 289.97/290.01 o 182 290.39/290.50 o 181 290.77/290.82 o 180 291.07/291.19 o 179 291.37/291.50 o 178 291.77/291.81 o 177 292.07/292.12 o 176 292.37/292.42 o 175 292.67/292.72 o 174 293.17/293.29 o 173 293.77/293.82 o 172 294.17/294.20 o 171 294.57/294.63 o 170 294.97/295.02 o 169 295.37/295.45 o 168 295.67/295.81 o 167 296.07/296.12 o 166 296.37/296.48 o 165 297.07/297.12 o 164 297.67/297.71 o 163 298.17/298.24 o 162 298.47/298.59 o 161 299.07/299.14 o 160 299.47/299.56 o 159 299.87/299.95 o 158 300.37/300.48 o 157 302.57/302.69 o 156 302.97/303.02 o 155 303.27/303.33 o 154 303.59/303.69 o 153 304.17/304.26 o 152 304.57/304.65 o 151 305.27/305.33 o 150 305.57/305.66 o 149 305.87/305.98 o 148 306.27/306.31 o 147 306.57/306.67 o 146 306.97/307.01 o 145 307.27/307.37 o 144 307.77/307.83 o 143 308.17/308.28 o 142 308.67/308.71 o 141 309.37/309.47 o 140 309.77/309.88 o 139 310.19/310.29 o 138 310.67/310.73 o 137 311.07/311.15 o 136 311.47/311.56 o 135 312.07/312.11 o 134 312.47/312.58 o 133 312.97/313.05 o 132 313.77/313.85 o 131 314.27/314.33 o 130 314.77/314.82 o 129 315.27/315.30 o 128 315.77/315.82 o 127 316.27/316.32 o 126 316.79/316.87 o 125 317.37/317.48 o 124 318.47/318.53 o 123 319.27/319.38 o 122 320.27/320.35 o 121 321.19/321.22 o 120 321.87/321.94 o 119 322.57/322.67 o 118 324.67/324.78 o 117 326.07/326.13 o 116 327.37/327.47 o 115 330.47/330.57 o 114 331.17/331.26 o 113 332.18/332.25 o 112 332.87/332.91 o 111 333.47/333.55 o 110 334.07/334.19 o 109 334.97/335.08 o 108 337.57/337.70 o 107 338.47/338.56 o 106 339.27/339.30 o 105 339.97/340.04 o 104 340.77/340.82 o 103 341.77/341.86 o 102 342.57/342.67 o 101 343.47/343.52 o 100 344.47/344.57 o 99 348.97/349.01 o 98 349.87/349.91 o 97 350.67/350.75 o 96 351.57/351.67 o 95 352.57/352.60 o 94 353.57/353.69 o 93 354.87/354.98 o 92 356.27/356.34 o 91 357.37/357.48 o 90 358.37/358.48 o 89 359.37/359.47 o 88 360.37/360.44 o 87 361.47/361.54 o 86 362.47/362.56 o 85 363.86/363.91 o 84 364.96/365.01 o 83 365.96/366.07 o 82 367.06/367.14 o 81 368.17/368.21 o 80 369.26/369.30 o 79 370.46/370.53 o 78 371.56/371.65 o 77 372.77/372.85 o 76 374.16/374.26 o 75 375.46/375.52 o 74 376.66/376.71 o 73 377.86/377.91 o 72 409.18/409.27 o 71 410.76/410.87 o 70 412.16/412.27 o 69 413.47/413.60 o 68 415.78/415.82 o 67 417.26/417.34 o 66 418.66/418.76 o 65 420.18/420.22 o 64 421.56/421.67 o 63 432.46/432.54 o 62 458.16/458.26 o 61 504.07/504.10 o 60 505.57/505.66 o 59 526.37/526.48 o 58 528.17/528.20 o 57 532.07/532.12 o 56 535.87/535.90 o 55 677.87/677.95 o 54 688.17/688.20 o 53 723.97/724.01 o 52 736.17/736.24 o 51 746.97/747.06 o 50 749.47/749.50 o 49 751.57/751.69 o 48 753.87/753.97 o 47 756.57/756.68 o 46 808.37/808.47 o 45 1800.01/1800.01 >>> Terminate signal received 1800.01/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
OK 45
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-3466044-1307419081/watcher-3466044-1307419081 -o /tmp/evaluation-result-3466044-1307419081/solver-3466044-1307419081 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466044-1307419081.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: 2.01 2.03 2.00 3/505 1810 /proc/meminfo: memFree=30172712/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=11796 CPUtime=0 cores=0,2,4,6 /proc/1810/stat : 1810 (runsolver) R 1808 1810 1418 0 -1 4202560 45 0 0 0 0 0 0 0 25 0 1 0 853510763 12079104 54 33554432000 4194304 5432328 140734266254368 18446744073709551615 4881591 0 2147483391 4096 24578 0 0 0 17 6 0 0 0 /proc/1810/statm: 2949 54 34 303 0 2643 0 [startup+0.0980919 s] /proc/loadavg: 2.01 2.03 2.00 3/505 1810 /proc/meminfo: memFree=30172712/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=17068 CPUtime=0.08 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 2790 0 0 0 8 0 0 0 25 0 1 0 853510763 17477632 2738 33554432000 4194304 6736272 140737036810560 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 4267 2740 248 621 0 3637 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17068 [startup+0.101093 s] /proc/loadavg: 2.01 2.03 2.00 3/505 1810 /proc/meminfo: memFree=30172712/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=17596 CPUtime=0.08 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 2920 0 0 0 8 0 0 0 25 0 1 0 853510763 18018304 2868 33554432000 4194304 6736272 140737036810560 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 4399 2869 248 621 0 3769 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 17596 [startup+0.30105 s] /proc/loadavg: 2.01 2.03 2.00 3/505 1810 /proc/meminfo: memFree=30172712/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=41888 CPUtime=0.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 9046 0 0 0 28 1 0 0 25 0 1 0 853510763 42893312 8896 33554432000 4194304 6736272 140737036810560 18446744073709551615 5809611 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 10472 8897 266 621 0 9842 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 41888 [startup+0.70099 s] /proc/loadavg: 2.01 2.03 2.00 3/505 1810 /proc/meminfo: memFree=30172712/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=74300 CPUtime=0.68 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 17211 0 0 0 67 1 0 0 25 0 1 0 853510763 76083200 17061 33554432000 4194304 6736272 140737036810560 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 18575 17063 266 621 0 17945 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 74300 [startup+1.50086 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1811 /proc/meminfo: memFree=30073248/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=106244 CPUtime=1.48 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25199 0 0 0 146 2 0 0 25 0 1 0 853510763 108793856 25049 33554432000 4194304 6736272 140737036810560 18446744073709551615 5806437 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 26561 25049 276 621 0 25931 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 106244 [startup+3.10053 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1811 /proc/meminfo: memFree=30071388/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=106244 CPUtime=3.08 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25202 0 0 0 306 2 0 0 25 0 1 0 853510763 108793856 25052 33554432000 4194304 6736272 140737036810560 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 26561 25052 276 621 0 25931 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 106244 [startup+6.301 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1811 /proc/meminfo: memFree=30071360/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=106244 CPUtime=6.28 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25209 0 0 0 626 2 0 0 25 0 1 0 853510763 108793856 25059 33554432000 4194304 6736272 140737036810560 18446744073709551615 5811850 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 26561 25059 276 621 0 25931 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 106244 [startup+12.7009 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1811 /proc/meminfo: memFree=30070720/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=106244 CPUtime=12.69 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25222 0 0 0 1266 3 0 0 25 0 1 0 853510763 108793856 25072 33554432000 4194304 6736272 140737036810560 18446744073709551615 4640341 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 26561 25072 276 621 0 25931 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 106244 [startup+25.5006 s] /proc/loadavg: 2.01 2.02 2.00 3/506 1812 /proc/meminfo: memFree=30071076/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=101888 CPUtime=25.49 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25294 0 0 0 2546 3 0 0 25 0 1 0 853510763 104333312 25068 33554432000 4194304 6736272 140737036810560 18446744073709551615 5148128 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 25472 25068 286 621 0 24842 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 101888 [startup+51.1011 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1812 /proc/meminfo: memFree=30070664/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=102384 CPUtime=51.09 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25318 0 0 0 5106 3 0 0 25 0 1 0 853510763 104841216 25090 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 0 0 0 0 /proc/1810/statm: 25596 25090 286 621 0 24966 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 102384 [startup+102.319 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1814 /proc/meminfo: memFree=30071000/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=102384 CPUtime=102.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25342 0 0 0 10226 3 0 0 25 0 1 0 853510763 104841216 25113 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535198 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25596 25113 286 621 0 24966 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 102384 [startup+162.3 s] /proc/loadavg: 2.16 2.04 2.01 3/506 1815 /proc/meminfo: memFree=30070472/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=102384 CPUtime=162.28 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25374 0 0 0 16225 3 0 0 25 0 1 0 853510763 104841216 25140 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25596 25140 286 621 0 24966 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 102384 [startup+222.301 s] /proc/loadavg: 2.09 2.05 2.01 3/506 1826 /proc/meminfo: memFree=30070868/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=102384 CPUtime=222.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25401 0 0 0 22224 3 0 0 25 0 1 0 853510763 104841216 25166 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25596 25166 286 621 0 24966 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 102384 [startup+282.3 s] /proc/loadavg: 2.06 2.05 2.01 3/506 1827 /proc/meminfo: memFree=30070968/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103404 CPUtime=282.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25444 0 0 0 28224 3 0 0 25 0 1 0 853510763 105885696 25206 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25851 25206 286 621 0 25221 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 103404 [startup+342.301 s] /proc/loadavg: 2.02 2.04 2.00 3/506 1832 /proc/meminfo: memFree=30069528/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103404 CPUtime=342.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25479 0 0 0 34224 3 0 0 25 0 1 0 853510763 105885696 25238 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535040 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25851 25238 286 621 0 25221 0 Current children cumulated CPU time (s) 342.27 Current children cumulated vsize (KiB) 103404 [startup+402.301 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1834 /proc/meminfo: memFree=30070268/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103404 CPUtime=402.26 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25490 0 0 0 40223 3 0 0 25 0 1 0 853510763 105885696 25248 33554432000 4194304 6736272 140737036810560 18446744073709551615 4512619 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25851 25248 286 621 0 25221 0 Current children cumulated CPU time (s) 402.26 Current children cumulated vsize (KiB) 103404 [startup+462.301 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1835 /proc/meminfo: memFree=30069624/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=462.26 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25714 0 0 0 46223 3 0 0 25 0 1 0 853510763 106283008 25469 33554432000 4194304 6736272 140737036810560 18446744073709551615 4512608 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25469 286 621 0 25318 0 Current children cumulated CPU time (s) 462.26 Current children cumulated vsize (KiB) 103792 [startup+522.301 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1837 /proc/meminfo: memFree=30070084/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=522.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25722 0 0 0 52224 3 0 0 25 0 1 0 853510763 106283008 25477 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25477 286 621 0 25318 0 Current children cumulated CPU time (s) 522.27 Current children cumulated vsize (KiB) 103792 [startup+582.3 s] /proc/loadavg: 2.00 2.01 2.00 3/506 1866 /proc/meminfo: memFree=29791068/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=582.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25722 0 0 0 58224 3 0 0 25 0 1 0 853510763 106283008 25477 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534900 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25477 286 621 0 25318 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 103792 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.08 2.04 2.01 3/506 1873 /proc/meminfo: memFree=29659004/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=822.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25745 0 0 0 82224 3 0 0 25 0 1 0 853510763 106283008 25500 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25500 286 621 0 25318 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 103792 [startup+882.3 s] /proc/loadavg: 2.03 2.03 2.00 3/506 1874 /proc/meminfo: memFree=29661084/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=882.27 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25755 0 0 0 88224 3 0 0 25 0 1 0 853510763 106283008 25510 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25510 286 621 0 25318 0 Current children cumulated CPU time (s) 882.27 Current children cumulated vsize (KiB) 103792 [startup+942.301 s] /proc/loadavg: 2.13 2.05 2.01 3/506 1876 /proc/meminfo: memFree=29661912/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=942.28 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25755 0 0 0 94224 4 0 0 25 0 1 0 853510763 106283008 25510 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534975 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25510 286 621 0 25318 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 103792 [startup+1002.3 s] /proc/loadavg: 2.10 2.06 2.01 3/506 1878 /proc/meminfo: memFree=29634452/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=1002.28 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25757 0 0 0 100224 4 0 0 25 0 1 0 853510763 106283008 25512 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25512 286 621 0 25318 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 103792 [startup+1062.3 s] /proc/loadavg: 2.04 2.04 2.00 3/506 1879 /proc/meminfo: memFree=29639720/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=103792 CPUtime=1062.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25757 0 0 0 106225 4 0 0 25 0 1 0 853510763 106283008 25512 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 25948 25512 286 621 0 25318 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 103792 [startup+1122.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1881 /proc/meminfo: memFree=29640300/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1122.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 112225 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535117 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 104428 [startup+1182.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1882 /proc/meminfo: memFree=29642848/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1182.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 118225 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 104428 [startup+1242.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1884 /proc/meminfo: memFree=29643172/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1242.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 124225 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 104428 [startup+1302.3 s] /proc/loadavg: 2.13 2.05 2.01 3/506 1886 /proc/meminfo: memFree=29655496/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1302.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 130225 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1302.29 Current children cumulated vsize (KiB) 104428 [startup+1362.3 s] /proc/loadavg: 2.11 2.05 2.01 3/506 1887 /proc/meminfo: memFree=29657304/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1362.29 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 136225 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 5803170 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 104428 [startup+1422.32 s] /proc/loadavg: 2.04 2.04 2.00 3/506 1889 /proc/meminfo: memFree=29645340/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1422.31 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 142227 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 5148079 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1422.31 Current children cumulated vsize (KiB) 104428 [startup+1482.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1890 /proc/meminfo: memFree=29648392/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1482.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 148226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 104428 [startup+1542.3 s] /proc/loadavg: 2.11 2.05 2.01 3/506 1892 /proc/meminfo: memFree=29636560/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1542.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 154226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 104428 [startup+1602.3 s] /proc/loadavg: 2.04 2.04 2.00 3/506 1894 /proc/meminfo: memFree=29614300/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1602.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 160226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 104428 [startup+1662.3 s] /proc/loadavg: 2.01 2.03 2.00 3/506 1895 /proc/meminfo: memFree=29614504/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1662.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 166226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535205 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 104428 [startup+1722.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1897 /proc/meminfo: memFree=29606892/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1722.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 172226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4534903 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 104428 [startup+1782.3 s] /proc/loadavg: 2.00 2.02 2.00 3/506 1898 /proc/meminfo: memFree=29608328/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1782.3 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 178226 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4535260 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 104428 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.00 2.01 2.00 3/506 1899 /proc/meminfo: memFree=29567896/32951124 swapFree=51712236/67111528 [pid=1810] ppid=1808 vsize=104428 CPUtime=1800.01 cores=0,2,4,6 /proc/1810/stat : 1810 (minisatid-gmp) R 1808 1810 1418 0 -1 4202496 25913 0 0 0 179997 4 0 0 25 0 1 0 853510763 106934272 25666 33554432000 4194304 6736272 140737036810560 18446744073709551615 4512676 0 0 4096 17571 0 0 0 17 2 0 0 0 /proc/1810/statm: 26107 25666 286 621 0 25477 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 104428 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.03 CPU time (s): 1800.03 CPU user time (s): 1799.99 CPU system time (s): 0.045993 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 106244 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.99 system time used= 0.045993 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 25918 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= 3319 runsolver used 9.47456 second user time and 20.027 second system time The end
Begin job on node103 at 2011-06-07 05:58:01 IDJOB=3466044 IDBENCH=48140 IDSOLVER=1957 FILE ID=node103/3466044-1307419081 RUNJOBID= node103-1307415477-1436 PBS_JOBID= 13514221 Free space on /tmp= 73960 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_2.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466044-1307419081/watcher-3466044-1307419081 -o /tmp/evaluation-result-3466044-1307419081/solver-3466044-1307419081 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466044-1307419081.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= e4d0ce6c299ae1a05f607b170c68aad6 RANDOM SEED=905068599 node103.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.858 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.71 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.858 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.858 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.858 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.77 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.858 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.858 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.858 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.83 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.858 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: 30172868 kB Buffers: 354952 kB Cached: 581192 kB SwapCached: 23760 kB Active: 1994424 kB Inactive: 477568 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30172868 kB SwapTotal: 67111528 kB SwapFree: 51712236 kB Dirty: 3148 kB Writeback: 0 kB AnonPages: 1533116 kB Mapped: 23376 kB Slab: 162812 kB PageTables: 73256 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 162064728 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= 73956 MiB End job on node103 at 2011-06-07 06:28:03