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) | 54 | 1800.03 | 1800.02 |
| Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_25_4.opb |
| MD5SUM | 3feaf3974ec1ffdea6d6674c11d1a071 |
| 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 | 36 |
| 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) | 15754 |
| Sum of products size (including duplicates) | 31508 |
| Number of different products | 15754 |
| Sum of products size | 31508 |
0.00/0.00 >>> IMPORTANT: two aggregates with the same head occurred. Assuming that this head is certainly true. 1.00/1.05 o 499 1.19/1.26 o 498 1.39/1.46 o 497 1.59/1.67 o 496 1.79/1.87 o 495 1.99/2.07 o 494 2.20/2.27 o 493 2.39/2.48 o 492 2.59/2.68 o 491 2.79/2.88 o 490 2.99/3.08 o 489 3.20/3.28 o 488 3.39/3.48 o 487 3.59/3.68 o 486 3.79/3.89 o 485 3.99/4.09 o 484 4.19/4.29 o 483 4.40/4.49 o 482 4.59/4.69 o 481 4.79/4.89 o 480 5.09/5.10 o 479 5.29/5.30 o 478 5.40/5.50 o 477 5.69/5.70 o 476 5.89/5.90 o 475 6.09/6.11 o 474 6.29/6.31 o 473 6.50/6.51 o 472 6.69/6.72 o 471 6.89/6.92 o 470 7.09/7.12 o 469 7.29/7.33 o 468 7.49/7.53 o 467 7.70/7.74 o 466 7.89/7.94 o 465 8.09/8.15 o 464 8.29/8.35 o 463 8.49/8.55 o 462 8.70/8.76 o 461 8.89/8.96 o 460 9.09/9.16 o 459 9.29/9.37 o 458 9.49/9.57 o 457 9.69/9.77 o 456 9.90/9.98 o 455 10.09/10.18 o 454 10.29/10.39 o 453 10.49/10.59 o 452 11.69/11.74 o 451 13.79/13.86 o 450 21.79/21.86 o 449 22.09/22.19 o 448 22.49/22.51 o 447 22.79/22.84 o 446 23.10/23.18 o 445 23.49/23.52 o 444 23.79/23.87 o 443 24.79/24.85 o 442 25.09/25.20 o 441 25.49/25.55 o 440 26.40/26.41 o 439 26.89/26.91 o 438 27.69/27.71 o 437 28.99/29.00 o 436 29.29/29.35 o 435 29.89/29.93 o 434 30.19/30.28 o 433 30.99/31.04 o 432 34.19/34.25 o 431 36.49/36.51 o 430 38.09/38.14 o 429 38.40/38.50 o 428 41.99/42.01 o 427 43.49/43.53 o 426 44.00/44.03 o 425 44.29/44.39 o 424 44.79/44.80 o 423 45.10/45.15 o 422 45.49/45.55 o 421 45.99/46.02 o 420 46.29/46.38 o 419 47.09/47.11 o 418 47.39/47.49 o 417 47.89/47.94 o 416 51.79/51.86 o 415 52.09/52.16 o 414 52.49/52.56 o 413 52.89/52.95 o 412 53.29/53.35 o 411 53.69/53.71 o 410 53.99/54.08 o 409 54.39/54.42 o 408 54.69/54.79 o 407 55.19/55.22 o 406 55.59/55.66 o 405 55.99/56.01 o 404 56.39/56.48 o 403 66.29/66.33 o 402 68.09/68.14 o 401 68.59/68.62 o 400 71.39/71.42 o 399 71.79/71.82 o 398 72.39/72.40 o 397 72.79/72.82 o 396 73.19/73.25 o 395 87.49/87.54 o 394 101.09/101.12 o 393 101.89/101.93 o 392 102.89/102.94 o 391 103.49/103.50 o 390 104.29/104.31 o 389 104.69/104.70 o 388 105.09/105.13 o 387 105.49/105.58 o 386 105.99/106.03 o 385 106.39/106.42 o 384 106.79/106.88 o 383 107.29/107.32 o 382 107.89/107.90 o 381 108.59/108.66 o 380 109.29/109.38 o 379 109.79/109.81 o 378 110.19/110.29 o 377 110.69/110.74 o 376 111.10/111.15 o 375 111.49/111.59 o 374 111.89/111.97 o 373 112.39/112.40 o 372 112.69/112.78 o 371 112.99/113.09 o 370 113.39/113.45 o 369 113.89/113.92 o 368 114.19/114.30 o 367 114.69/114.71 o 366 114.99/115.01 o 365 115.40/115.43 o 364 115.79/115.82 o 363 116.19/116.20 o 362 116.60/116.63 o 361 116.89/116.93 o 360 117.39/117.40 o 359 117.70/117.78 o 358 117.99/118.09 o 357 118.49/118.56 o 356 118.89/118.93 o 355 119.19/119.25 o 354 119.59/119.68 o 353 119.99/120.00 o 352 120.39/120.47 o 351 120.79/120.81 o 350 121.09/121.13 o 349 121.49/121.52 o 348 121.89/121.94 o 347 122.19/122.28 o 346 122.49/122.58 o 345 122.99/123.00 o 344 123.29/123.31 o 343 123.69/123.75 o 342 123.99/124.06 o 341 124.39/124.40 o 340 125.79/125.87 o 339 126.59/126.69 o 338 134.79/134.83 o 337 136.40/136.46 o 336 137.09/137.17 o 335 137.59/137.66 o 334 152.29/152.35 o 333 152.99/153.00 o 332 153.49/153.54 o 331 154.00/154.07 o 330 154.39/154.48 o 329 154.79/154.89 o 328 155.19/155.21 o 327 155.69/155.71 o 326 155.99/156.03 o 325 156.39/156.48 o 324 156.79/156.81 o 323 157.09/157.14 o 322 157.59/157.64 o 321 157.99/158.09 o 320 158.40/158.46 o 319 158.69/158.78 o 318 159.19/159.26 o 317 159.59/159.67 o 316 159.99/160.08 o 315 160.39/160.41 o 314 160.69/160.73 o 313 161.09/161.16 o 312 161.49/161.54 o 311 161.89/161.94 o 310 162.19/162.28 o 309 162.70/162.74 o 308 162.99/163.06 o 307 163.49/163.51 o 306 163.80/163.88 o 305 164.19/164.22 o 304 164.59/164.69 o 303 165.00/165.05 o 302 165.49/165.53 o 301 165.89/166.00 o 300 166.49/166.57 o 299 166.99/167.07 o 298 167.39/167.44 o 297 167.89/167.93 o 296 168.20/168.26 o 295 168.99/169.00 o 294 170.40/170.47 o 293 170.79/170.80 o 292 171.09/171.11 o 291 171.50/171.58 o 290 171.99/172.04 o 289 172.60/172.62 o 288 173.09/173.14 o 287 173.39/173.47 o 286 173.80/173.83 o 285 174.19/174.29 o 284 176.29/176.37 o 283 194.70/194.76 o 282 206.20/206.21 o 281 216.50/216.55 o 280 217.20/217.20 o 279 217.50/217.55 o 278 218.20/218.26 o 277 218.70/218.71 o 276 219.90/219.97 o 275 220.50/220.51 o 274 221.00/221.07 o 273 224.90/224.96 o 272 225.80/225.88 o 271 226.39/226.43 o 270 232.49/232.54 o 269 232.99/233.03 o 268 233.69/233.77 o 267 234.49/234.58 o 266 235.30/235.34 o 265 235.79/235.86 o 264 236.50/236.54 o 263 236.79/236.88 o 262 237.19/237.20 o 261 237.50/237.56 o 260 238.19/238.28 o 259 238.60/238.64 o 258 239.09/239.18 o 257 239.49/239.50 o 256 240.09/240.17 o 255 240.39/240.49 o 254 240.80/240.86 o 253 241.09/241.18 o 252 241.49/241.54 o 251 242.00/242.07 o 250 242.39/242.40 o 249 242.89/242.94 o 248 243.59/243.63 o 247 244.39/244.41 o 246 244.69/244.77 o 245 245.09/245.15 o 244 245.59/245.67 o 243 245.99/246.00 o 242 246.30/246.32 o 241 246.59/246.64 o 240 246.99/247.06 o 239 247.29/247.37 o 238 247.59/247.69 o 237 248.39/248.50 o 236 248.80/248.84 o 235 249.10/249.16 o 234 249.40/249.48 o 233 249.70/249.79 o 232 250.09/250.18 o 231 250.39/250.49 o 230 250.80/250.81 o 229 251.09/251.19 o 228 251.69/251.73 o 227 251.99/252.04 o 226 252.29/252.34 o 225 252.59/252.65 o 224 252.90/252.95 o 223 253.19/253.25 o 222 253.49/253.55 o 221 254.10/254.15 o 220 256.69/256.73 o 219 260.20/260.23 o 218 260.80/260.89 o 217 261.60/261.69 o 216 263.10/263.13 o 215 264.59/264.68 o 214 265.40/265.47 o 213 266.00/266.07 o 212 267.80/267.82 o 211 268.50/268.50 o 210 269.00/269.06 o 209 269.51/269.55 o 208 269.89/269.95 o 207 270.39/270.44 o 206 270.79/270.85 o 205 271.09/271.18 o 204 271.39/271.49 o 203 271.79/271.83 o 202 272.19/272.29 o 201 272.59/272.60 o 200 272.99/273.01 o 199 273.49/273.51 o 198 273.90/273.92 o 197 274.19/274.23 o 196 274.59/274.66 o 195 275.00/275.08 o 194 275.40/275.42 o 193 275.89/275.92 o 192 276.19/276.28 o 191 276.69/276.76 o 190 277.10/277.18 o 189 277.39/277.48 o 188 277.79/277.84 o 187 278.09/278.19 o 186 278.59/278.65 o 185 278.99/279.09 o 184 279.59/279.62 o 183 279.89/279.96 o 182 280.29/280.36 o 181 280.69/280.71 o 180 280.99/281.09 o 179 281.39/281.49 o 178 281.79/281.81 o 177 282.09/282.17 o 176 282.60/282.65 o 175 282.89/282.99 o 174 283.19/283.29 o 173 283.80/283.89 o 172 284.19/284.23 o 171 284.59/284.65 o 170 284.99/285.01 o 169 285.29/285.32 o 168 285.69/285.70 o 167 286.00/286.04 o 166 286.29/286.35 o 165 286.59/286.69 o 164 287.29/287.35 o 163 288.69/288.78 o 162 296.19/296.26 o 161 297.19/297.28 o 160 298.10/298.13 o 159 298.99/299.00 o 158 299.39/299.45 o 157 299.79/299.85 o 156 300.20/300.25 o 155 300.69/300.76 o 154 301.30/301.39 o 153 302.99/303.07 o 152 303.99/304.01 o 151 304.89/304.99 o 150 305.99/306.01 o 149 307.09/307.14 o 148 307.59/307.69 o 147 308.49/308.59 o 146 309.39/309.40 o 145 310.39/310.40 o 144 310.99/311.07 o 143 311.99/312.05 o 142 312.79/312.83 o 141 313.29/313.36 o 140 313.89/313.90 o 139 314.40/314.47 o 138 315.10/315.15 o 137 315.70/315.79 o 136 316.39/316.43 o 135 317.09/317.12 o 134 317.80/317.81 o 133 318.49/318.56 o 132 319.09/319.16 o 131 319.70/319.77 o 130 320.40/320.40 o 129 321.10/321.13 o 128 321.80/321.85 o 127 322.49/322.54 o 126 323.30/323.34 o 125 323.99/324.09 o 124 325.09/325.14 o 123 325.80/325.86 o 122 326.60/326.63 o 121 327.40/327.49 o 120 328.30/328.31 o 119 328.99/329.10 o 118 330.09/330.13 o 117 330.90/331.00 o 116 331.90/331.97 o 115 332.70/332.74 o 114 333.60/333.61 o 113 334.50/334.54 o 112 335.30/335.37 o 111 336.20/336.22 o 110 337.00/337.09 o 109 337.90/337.97 o 108 339.10/339.10 o 107 340.10/340.14 o 106 341.01/341.05 o 105 342.01/342.04 o 104 343.00/343.08 o 103 344.00/344.04 o 102 345.00/345.01 o 101 346.00/346.01 o 100 346.90/346.98 o 99 347.90/347.99 o 98 349.20/349.24 o 97 350.40/350.41 o 96 351.40/351.48 o 95 352.60/352.62 o 94 353.80/353.83 o 93 355.00/355.06 o 92 356.20/356.23 o 91 357.41/357.43 o 90 358.90/358.92 o 89 360.00/360.08 o 88 361.20/361.26 o 87 362.40/362.46 o 86 363.70/363.71 o 85 365.00/365.01 o 84 366.31/366.32 o 83 367.70/367.71 o 82 368.90/368.98 o 81 370.20/370.27 o 80 371.50/371.57 o 79 398.50/398.53 o 78 407.50/407.52 o 77 408.80/408.82 o 76 410.10/410.17 o 75 411.50/411.51 o 74 412.80/412.86 o 73 415.10/415.19 o 72 416.60/416.64 o 71 418.01/418.07 o 70 419.50/419.52 o 69 420.90/420.99 o 68 422.41/422.47 o 67 423.90/423.97 o 66 425.61/425.61 o 65 429.50/429.54 o 64 483.21/483.22 o 63 484.81/484.85 o 62 486.51/486.50 o 61 488.11/488.17 o 60 539.71/539.72 o 59 588.38/588.46 o 58 592.17/592.27 o 57 594.37/594.47 o 56 596.47/596.53 o 55 1136.59/1136.61 o 54 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 54
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-3466057-1307419365/watcher-3466057-1307419365 -o /tmp/evaluation-result-3466057-1307419365/solver-3466057-1307419365 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466057-1307419365.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.92 1.98 1.91 2/273 2683 /proc/meminfo: memFree=27970856/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=7624 CPUtime=0 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 427 0 0 0 0 0 0 0 25 0 1 0 853537240 7806976 374 33554432000 4194304 6736272 140736733335088 18446744073709551615 4538129 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 1906 374 248 621 0 1276 0 [startup+0.0527139 s] /proc/loadavg: 1.92 1.98 1.91 2/273 2683 /proc/meminfo: memFree=27970856/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=11296 CPUtime=0.05 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 1325 0 0 0 5 0 0 0 25 0 1 0 853537240 11567104 1272 33554432000 4194304 6736272 140736733335088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 2824 1272 248 621 0 2194 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 11296 [startup+0.100712 s] /proc/loadavg: 1.92 1.98 1.91 2/273 2683 /proc/meminfo: memFree=27970856/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=20352 CPUtime=0.09 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 3588 0 0 0 9 0 0 0 25 0 1 0 853537240 20840448 3535 33554432000 4194304 6736272 140736733335088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 5088 3537 248 621 0 4458 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 20352 [startup+0.30067 s] /proc/loadavg: 1.92 1.98 1.91 2/273 2683 /proc/meminfo: memFree=27970856/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=44796 CPUtime=0.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 9759 0 0 0 29 0 0 0 25 0 1 0 853537240 45871104 9606 33554432000 4194304 6736272 140736733335088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 11199 9607 266 621 0 10569 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 44796 [startup+0.70061 s] /proc/loadavg: 1.92 1.98 1.91 2/273 2683 /proc/meminfo: memFree=27970856/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=85044 CPUtime=0.69 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 19879 0 0 0 67 2 0 0 25 0 1 0 853537240 87085056 19726 33554432000 4194304 6736272 140736733335088 18446744073709551615 5809726 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 21261 19728 266 621 0 20631 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 85044 [startup+1.50045 s] /proc/loadavg: 1.92 1.98 1.91 3/274 2684 /proc/meminfo: memFree=27871268/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=107020 CPUtime=1.49 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25367 0 0 0 146 3 0 0 25 0 1 0 853537240 109588480 25214 33554432000 4194304 6736272 140736733335088 18446744073709551615 5817998 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26755 25214 276 621 0 26125 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 107020 [startup+3.10112 s] /proc/loadavg: 1.92 1.98 1.91 3/274 2684 /proc/meminfo: memFree=27870152/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=107020 CPUtime=3.09 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25371 0 0 0 306 3 0 0 25 0 1 0 853537240 109588480 25218 33554432000 4194304 6736272 140736733335088 18446744073709551615 5148172 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26755 25218 276 621 0 26125 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 107020 [startup+6.30057 s] /proc/loadavg: 1.93 1.98 1.91 3/274 2684 /proc/meminfo: memFree=27869844/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=107020 CPUtime=6.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25379 0 0 0 626 3 0 0 25 0 1 0 853537240 109588480 25226 33554432000 4194304 6736272 140736733335088 18446744073709551615 5806346 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26755 25226 276 621 0 26125 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 107020 [startup+12.7004 s] /proc/loadavg: 1.93 1.98 1.91 3/274 2684 /proc/meminfo: memFree=27869248/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=107020 CPUtime=12.69 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25418 0 0 0 1266 3 0 0 25 0 1 0 853537240 109588480 25262 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26755 25262 286 621 0 26125 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 107020 [startup+25.501 s] /proc/loadavg: 1.95 1.98 1.91 3/274 2685 /proc/meminfo: memFree=27869364/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=103164 CPUtime=25.49 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25464 0 0 0 2546 3 0 0 25 0 1 0 853537240 105639936 25240 33554432000 4194304 6736272 140736733335088 18446744073709551615 4512619 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 25791 25240 286 621 0 25161 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 103164 [startup+51.1004 s] /proc/loadavg: 1.96 1.98 1.91 3/274 2686 /proc/meminfo: memFree=27869320/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=103164 CPUtime=51.09 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25492 0 0 0 5106 3 0 0 25 0 1 0 853537240 105639936 25266 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 25791 25266 286 621 0 25161 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 103164 [startup+102.31 s] /proc/loadavg: 1.98 1.98 1.91 3/274 2690 /proc/meminfo: memFree=27869244/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=103164 CPUtime=102.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25507 0 0 0 10227 3 0 0 25 0 1 0 853537240 105639936 25281 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 25791 25281 286 621 0 25161 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 103164 [startup+162.301 s] /proc/loadavg: 1.99 1.98 1.91 3/274 2691 /proc/meminfo: memFree=27869176/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=103164 CPUtime=162.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25558 0 0 0 16226 3 0 0 25 0 1 0 853537240 105639936 25331 33554432000 4194304 6736272 140736733335088 18446744073709551615 5812017 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 25791 25331 286 621 0 25161 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 103164 [startup+222.301 s] /proc/loadavg: 1.99 1.98 1.91 3/274 2693 /proc/meminfo: memFree=27868664/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=103164 CPUtime=222.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25578 0 0 0 22227 3 0 0 25 0 1 0 853537240 105639936 25349 33554432000 4194304 6736272 140736733335088 18446744073709551615 4640333 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 25791 25349 286 621 0 25161 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 103164 [startup+282.301 s] /proc/loadavg: 2.04 2.00 1.91 3/274 2695 /proc/meminfo: memFree=27868768/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104180 CPUtime=282.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25616 0 0 0 28226 3 0 0 25 0 1 0 853537240 106680320 25385 33554432000 4194304 6736272 140736733335088 18446744073709551615 5803297 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26045 25385 286 621 0 25415 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 104180 [startup+342.301 s] /proc/loadavg: 2.01 2.00 1.91 3/274 2696 /proc/meminfo: memFree=27868728/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104180 CPUtime=342.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25644 0 0 0 34226 4 0 0 25 0 1 0 853537240 106680320 25409 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26045 25409 286 621 0 25415 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 104180 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.91 3/274 2698 /proc/meminfo: memFree=27868328/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=402.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25822 0 0 0 40226 4 0 0 25 0 1 0 853537240 107081728 25587 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535219 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25587 286 621 0 25513 0 Current children cumulated CPU time (s) 402.3 Current children cumulated vsize (KiB) 104572 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.91 3/274 2699 /proc/meminfo: memFree=27868324/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=462.31 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25835 0 0 0 46227 4 0 0 25 0 1 0 853537240 107081728 25600 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25600 286 621 0 25513 0 Current children cumulated CPU time (s) 462.31 Current children cumulated vsize (KiB) 104572 [startup+522.301 s] /proc/loadavg: 2.05 2.01 1.92 3/274 2701 /proc/meminfo: memFree=27868064/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=522.31 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25874 0 0 0 52227 4 0 0 25 0 1 0 853537240 107081728 25639 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25639 286 621 0 25513 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 104572 [startup+582.301 s] /proc/loadavg: 2.02 2.01 1.92 3/274 2703 /proc/meminfo: memFree=27867920/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=582.27 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25880 0 0 0 58223 4 0 0 25 0 1 0 853537240 107081728 25645 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535102 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25645 286 621 0 25513 0 Current children cumulated CPU time (s) 582.27 Current children cumulated vsize (KiB) 104572 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 2.06 2.01 1.93 3/274 2709 /proc/meminfo: memFree=27867468/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=822.28 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25904 0 0 0 82224 4 0 0 25 0 1 0 853537240 107081728 25668 33554432000 4194304 6736272 140736733335088 18446744073709551615 5219603 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25668 286 621 0 25513 0 Current children cumulated CPU time (s) 822.28 Current children cumulated vsize (KiB) 104572 [startup+882.301 s] /proc/loadavg: 2.02 2.01 1.93 3/274 2711 /proc/meminfo: memFree=27867208/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=882.28 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25905 0 0 0 88224 4 0 0 25 0 1 0 853537240 107081728 25669 33554432000 4194304 6736272 140736733335088 18446744073709551615 5148097 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25669 286 621 0 25513 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 104572 [startup+942.301 s] /proc/loadavg: 2.00 2.00 1.93 3/274 2712 /proc/meminfo: memFree=27867544/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=942.28 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25905 0 0 0 94224 4 0 0 25 0 1 0 853537240 107081728 25669 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535214 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25669 286 621 0 25513 0 Current children cumulated CPU time (s) 942.28 Current children cumulated vsize (KiB) 104572 [startup+1002.3 s] /proc/loadavg: 2.00 2.00 1.93 3/274 2714 /proc/meminfo: memFree=27867656/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1002.28 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25905 0 0 0 100224 4 0 0 25 0 1 0 853537240 107081728 25669 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25669 286 621 0 25513 0 Current children cumulated CPU time (s) 1002.28 Current children cumulated vsize (KiB) 104572 [startup+1062.3 s] /proc/loadavg: 2.07 2.02 1.93 3/274 2715 /proc/meminfo: memFree=27867376/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1062.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25905 0 0 0 106225 4 0 0 25 0 1 0 853537240 107081728 25669 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535232 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25669 286 621 0 25513 0 Current children cumulated CPU time (s) 1062.29 Current children cumulated vsize (KiB) 104572 [startup+1122.3 s] /proc/loadavg: 2.02 2.01 1.93 3/274 2717 /proc/meminfo: memFree=27867596/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1122.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25905 0 0 0 112225 4 0 0 25 0 1 0 853537240 107081728 25669 33554432000 4194304 6736272 140736733335088 18446744073709551615 5818582 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25669 286 621 0 25513 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 104572 [startup+1182.3 s] /proc/loadavg: 2.01 2.00 1.93 3/274 2719 /proc/meminfo: memFree=27867696/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1182.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25906 0 0 0 118225 4 0 0 25 0 1 0 853537240 107081728 25670 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534752 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25670 286 621 0 25513 0 Current children cumulated CPU time (s) 1182.29 Current children cumulated vsize (KiB) 104572 [startup+1242.3 s] /proc/loadavg: 2.00 2.00 1.93 3/274 2720 /proc/meminfo: memFree=27867060/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1242.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25909 0 0 0 124225 4 0 0 25 0 1 0 853537240 107081728 25673 33554432000 4194304 6736272 140736733335088 18446744073709551615 4510021 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25673 286 621 0 25513 0 Current children cumulated CPU time (s) 1242.29 Current children cumulated vsize (KiB) 104572 [startup+1302.3 s] /proc/loadavg: 2.00 2.00 1.93 3/274 2722 /proc/meminfo: memFree=27867164/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1302.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25909 0 0 0 130226 4 0 0 25 0 1 0 853537240 107081728 25673 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25673 286 621 0 25513 0 Current children cumulated CPU time (s) 1302.3 Current children cumulated vsize (KiB) 104572 [startup+1362.3 s] /proc/loadavg: 1.98 2.00 1.93 3/274 2751 /proc/meminfo: memFree=28041244/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1362.29 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25909 0 0 0 136225 4 0 0 25 0 1 0 853537240 107081728 25673 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25673 286 621 0 25513 0 Current children cumulated CPU time (s) 1362.29 Current children cumulated vsize (KiB) 104572 [startup+1422.31 s] /proc/loadavg: 1.99 2.00 1.93 3/274 2753 /proc/meminfo: memFree=27982828/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1422.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25910 0 0 0 142226 4 0 0 25 0 1 0 853537240 107081728 25674 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25674 286 621 0 25513 0 Current children cumulated CPU time (s) 1422.3 Current children cumulated vsize (KiB) 104572 [startup+1482.3 s] /proc/loadavg: 1.99 2.00 1.93 3/274 2755 /proc/meminfo: memFree=27923288/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1482.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25913 0 0 0 148226 4 0 0 25 0 1 0 853537240 107081728 25677 33554432000 4194304 6736272 140736733335088 18446744073709551615 5803165 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25677 286 621 0 25513 0 Current children cumulated CPU time (s) 1482.3 Current children cumulated vsize (KiB) 104572 [startup+1542.3 s] /proc/loadavg: 1.99 2.00 1.93 3/274 2756 /proc/meminfo: memFree=27919908/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=104572 CPUtime=1542.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25913 0 0 0 154226 4 0 0 25 0 1 0 853537240 107081728 25677 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534878 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26143 25677 286 621 0 25513 0 Current children cumulated CPU time (s) 1542.3 Current children cumulated vsize (KiB) 104572 [startup+1602.3 s] /proc/loadavg: 2.07 2.03 1.94 3/274 2758 /proc/meminfo: memFree=27907240/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=106220 CPUtime=1602.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25923 0 0 0 160226 4 0 0 25 0 1 0 853537240 108769280 25686 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535195 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26555 25686 286 621 0 25925 0 Current children cumulated CPU time (s) 1602.3 Current children cumulated vsize (KiB) 106220 [startup+1662.3 s] /proc/loadavg: 2.09 2.04 1.95 3/274 2759 /proc/meminfo: memFree=27926572/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=106220 CPUtime=1662.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25923 0 0 0 166226 4 0 0 25 0 1 0 853537240 108769280 25686 33554432000 4194304 6736272 140736733335088 18446744073709551615 4535211 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26555 25686 286 621 0 25925 0 Current children cumulated CPU time (s) 1662.3 Current children cumulated vsize (KiB) 106220 [startup+1722.3 s] /proc/loadavg: 2.03 2.03 1.95 3/274 2765 /proc/meminfo: memFree=27929408/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=106220 CPUtime=1722.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25923 0 0 0 172226 4 0 0 25 0 1 0 853537240 108769280 25686 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534864 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26555 25686 286 621 0 25925 0 Current children cumulated CPU time (s) 1722.3 Current children cumulated vsize (KiB) 106220 [startup+1782.3 s] /proc/loadavg: 2.01 2.02 1.95 3/274 2767 /proc/meminfo: memFree=27939052/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=106220 CPUtime=1782.3 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25923 0 0 0 178226 4 0 0 25 0 1 0 853537240 108769280 25686 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534891 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26555 25686 286 621 0 25925 0 Current children cumulated CPU time (s) 1782.3 Current children cumulated vsize (KiB) 106220 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800 s] /proc/loadavg: 2.01 2.02 1.95 3/274 2767 /proc/meminfo: memFree=27897748/32951124 swapFree=55664332/67111528 [pid=2683] ppid=2681 vsize=106220 CPUtime=1800.01 cores=0,2,4,6 /proc/2683/stat : 2683 (minisatid-gmp) R 2681 2683 2012 0 -1 4202496 25923 0 0 0 179997 4 0 0 25 0 1 0 853537240 108769280 25686 33554432000 4194304 6736272 140736733335088 18446744073709551615 4534963 0 0 4096 17571 0 0 0 17 4 0 0 0 /proc/2683/statm: 26555 25686 286 621 0 25925 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 106220 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.02 CPU time (s): 1800.03 CPU user time (s): 1799.98 CPU system time (s): 0.049992 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 107020 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.98 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= 25928 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= 4465 runsolver used 4.73328 second user time and 10.0435 second system time The end
Begin job on node109 at 2011-06-07 06:02:45 IDJOB=3466057 IDBENCH=48153 IDSOLVER=1957 FILE ID=node109/3466057-1307419365 RUNJOBID= node109-1307417538-2414 PBS_JOBID= 13514214 Free space on /tmp= 74112 MiB SOLVER NAME= MinisatID 2.4.8-gmp BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_25_4.opb COMMAND LINE= HOME/minisatid-gmp BENCHNAME --verbosity=0 --format=opb RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3466057-1307419365/watcher-3466057-1307419365 -o /tmp/evaluation-result-3466057-1307419365/solver-3466057-1307419365 -C 1800 -W 1900 -M 15500 --use-pty HOME/minisatid-gmp HOME/instance-3466057-1307419365.opb --verbosity=0 --format=opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 3feaf3974ec1ffdea6d6674c11d1a071 RANDOM SEED=946893120 node109.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.809 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.61 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.809 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.809 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.809 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.809 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.809 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27971136 kB Buffers: 328552 kB Cached: 2187928 kB SwapCached: 10392 kB Active: 1339680 kB Inactive: 3381348 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27971136 kB SwapTotal: 67111528 kB SwapFree: 55664332 kB Dirty: 3156 kB Writeback: 0 kB AnonPages: 2200032 kB Mapped: 17536 kB Slab: 157724 kB PageTables: 38328 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 31364856 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= 74108 MiB End job on node109 at 2011-06-07 06:32:47