Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.0.17 | SAT (TO) | 18 | 1800.29 | 1800.82 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_500_60_5.opb |
MD5SUM | e079962149860142627e0ca6e79ba5d1 |
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 | 17 |
Best CPU time to get the best result obtained on this benchmark | 1800.16 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
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 | 61 |
Maximum length of a constraint | 112 |
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) | 37500 |
Sum of products size (including duplicates) | 75000 |
Number of different products | 37500 |
Sum of products size | 75000 |
0.00/0.00 c bsolo beta version 3.0.17 - 27/04/2007 : 1600 GMT 0.00/0.00 c Developed by Vasco Manquinho IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb 0.00/0.00 c File size is 517047 bytes. 0.19/0.23 c Highest Coefficient sum: 500 0.19/0.23 c Parsing was ok!! 0.19/0.23 c Total parsing time: 0.233 s 0.19/0.29 c Var: 38000 Constr: 75500 38000/0/37500 Lit: 263000 Watch. Lit: 188500 0.19/0.29 c Obj. Vars: 500 (1.31579 % of total variables) 7.78/7.85 c Pre-processing Time: 7.845 s 7.78/7.85 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.78/7.85 c 0 38000 75500 263000 3 188500 237666 0 0 7.84 7.78/7.85 c Switching off LPR mode. 7.89/7.91 o 499 7.909 7.89/7.98 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.89/7.98 c 0 38000 75501 263500 3 188503 237999 1 0 7.93 7.89/7.98 o 498 7.979 7.99/8.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 7.99/8.05 c 0 38000 75502 264000 3 188507 238499 2 0 8.00 7.99/8.05 o 497 8.051 8.09/8.12 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.12 c 0 38000 75503 264500 3 188512 239166 3 0 8.07 8.09/8.12 o 496 8.12 8.09/8.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.09/8.19 c 0 38000 75504 265000 3 188518 239999 4 0 8.14 8.09/8.19 o 495 8.191 8.19/8.26 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.19/8.26 c 0 38000 75505 265500 3 188525 240999 5 0 8.21 8.19/8.26 o 494 8.262 8.29/8.33 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.29/8.33 c 0 38000 75506 266000 3 188533 241999 6 0 8.28 8.29/8.33 o 493 8.331 8.39/8.40 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.40 c 0 38000 75507 266500 3 188542 242999 7 0 8.35 8.39/8.40 o 492 8.402 8.39/8.48 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.39/8.48 c 0 38000 75508 267000 3 188552 243999 8 0 8.42 8.39/8.48 o 491 8.474 8.49/8.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.49/8.54 c 0 38000 75509 267500 3 188563 244999 9 0 8.49 8.49/8.54 o 490 8.543 8.59/8.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.62 c 0 38000 75510 268000 3 188575 245999 10 0 8.56 8.59/8.62 o 489 8.614 8.59/8.68 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.59/8.68 c 0 38000 75511 268500 3 188588 246999 11 0 8.63 8.59/8.68 o 488 8.682 8.70/8.75 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.70/8.75 c 0 38000 75512 269000 3 188602 247999 12 0 8.70 8.70/8.75 o 487 8.754 8.80/8.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.83 c 0 38000 75513 269500 3 188617 248999 13 0 8.78 8.80/8.83 o 486 8.824 8.80/8.90 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.80/8.90 c 0 38000 75514 270000 3 188633 249999 14 0 8.85 8.80/8.90 o 485 8.895 8.89/8.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.89/8.97 c 0 38000 75515 270500 3 188650 250999 15 0 8.92 8.89/8.97 o 484 8.966 8.99/9.04 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 8.99/9.04 c 0 38000 75516 271000 3 188668 251999 16 0 8.99 8.99/9.04 o 483 9.035 9.09/9.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.11 c 0 38000 75517 271500 3 188687 252999 17 0 9.06 9.09/9.11 o 482 9.106 9.09/9.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.09/9.18 c 0 38000 75518 272000 3 188707 253999 18 0 9.13 9.09/9.18 o 481 9.177 9.19/9.25 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.19/9.25 c 0 38000 75519 272500 3 188728 254999 19 0 9.20 9.19/9.25 o 480 9.245 9.29/9.32 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.32 c 0 38000 75520 273000 3 188750 255999 20 0 9.27 9.29/9.32 o 479 9.316 9.29/9.39 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.29/9.39 c 0 38000 75521 273500 3 188773 256999 21 0 9.34 9.29/9.39 o 478 9.384 9.39/9.46 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.39/9.46 c 0 38000 75522 274000 3 188797 257999 22 0 9.40 9.39/9.46 o 477 9.455 9.49/9.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.52 c 0 38000 75523 274500 3 188822 258999 23 0 9.48 9.49/9.52 o 476 9.524 9.49/9.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.49/9.60 c 0 38000 75524 275000 3 188848 259999 24 0 9.54 9.49/9.60 o 475 9.594 9.59/9.67 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.59/9.67 c 0 38000 75525 275500 3 188875 260999 25 0 9.62 9.59/9.67 o 474 9.665 9.69/9.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.69/9.73 c 0 38000 75526 276000 3 188903 261999 26 0 9.69 9.69/9.73 o 473 9.733 9.80/9.80 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.80/9.80 c 0 38000 75527 276500 3 188932 262999 27 0 9.75 9.80/9.80 o 472 9.803 9.80/9.88 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.80/9.88 c 0 38000 75528 277000 3 188962 263999 28 0 9.82 9.80/9.88 o 471 9.874 9.90/9.94 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.90/9.94 c 0 38000 75529 277500 3 188993 264999 29 0 9.89 9.90/9.94 o 470 9.942 9.99/10.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.01 c 0 38000 75530 278000 3 189025 265999 30 0 9.96 9.99/10.01 o 469 10.013 9.99/10.09 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 9.99/10.09 c 0 38000 75531 278500 3 189058 266999 31 0 10.03 9.99/10.09 o 468 10.084 10.09/10.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.09/10.15 c 0 38000 75532 279000 3 189092 267999 32 0 10.11 10.09/10.15 o 467 10.152 10.19/10.22 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.22 c 0 38000 75533 279500 3 189127 268999 33 0 10.17 10.19/10.22 o 466 10.223 10.19/10.30 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.19/10.30 c 0 38000 75534 280000 3 189163 269999 34 0 10.24 10.19/10.30 o 465 10.294 10.29/10.37 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.29/10.37 c 0 38000 75535 280500 3 189200 270999 35 0 10.31 10.29/10.37 o 464 10.365 10.39/10.44 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.39/10.44 c 0 38000 75536 281000 3 189238 271999 36 0 10.39 10.39/10.44 o 463 10.436 10.49/10.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.51 c 0 38000 75537 281500 3 189277 272999 37 0 10.46 10.49/10.51 o 462 10.507 10.49/10.58 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.49/10.58 c 0 38000 75538 282000 3 189317 273999 38 0 10.53 10.49/10.58 o 461 10.578 10.59/10.65 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.59/10.65 c 0 38000 75539 282500 3 189358 274999 39 0 10.60 10.59/10.65 o 460 10.649 10.69/10.73 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.69/10.73 c 0 38000 75540 283000 3 189400 275999 40 0 10.67 10.69/10.73 o 450 10.726 10.79/10.83 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.79/10.83 c 1 38000 75542 283960 3 189454 275999 42 0 10.75 10.79/10.83 o 19 10.83 10.90/10.97 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 10.90/10.97 c 1 38000 75543 284460 3 189937 275999 43 0 10.86 10.90/10.97 o 18 10.971 1800.07/1800.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1800.07/1800.60 c 44 38000 75587 299766 3 190507 275999 87 3 11.00 1800.07/1800.60 c 145 38000 75688 319334 4 190709 303599 188 12 11.22 1800.07/1800.60 c 395 38000 75938 397575 5 191209 333959 438 34 11.56 1800.07/1800.60 c 871 38000 76414 512507 6 192161 367355 914 71 12.11 1800.07/1800.60 c 1685 38000 77228 730872 9 193789 404091 1728 130 12.92 1800.07/1800.60 c 3006 38000 78549 1075482 13 196431 444501 3049 207 14.48 1800.07/1800.60 c 5088 38000 80631 1657473 20 200595 488952 5131 283 17.94 1800.07/1800.60 c 8312 38000 83855 2753105 32 207043 537848 8355 361 23.01 1800.07/1800.60 c 13248 38000 88791 4510300 50 216915 591633 13291 410 32.25 1800.07/1800.60 c 20755 38000 96298 6189832 64 231929 650797 20798 434 47.78 1800.07/1800.60 c 32116 38000 107659 8665496 80 254651 715877 32159 417 76.88 1800.07/1800.60 c 49263 38000 124806 14415638 115 288945 787465 49306 376 130.69 1800.07/1800.60 c 75083 38000 150626 25188377 167 340585 866212 75126 302 248.34 1800.07/1800.60 c 113916 38000 189459 40436200 213 418251 952834 113959 236 481.32 1800.07/1800.60 c 172269 38000 247812 60077673 242 534957 500000 172312 197 873.07 1800.07/1800.60 c 259901 38000 335444 86677368 258 710221 550001 259944 168 1544.46 1800.07/1800.60 c Caught signal: 15 1800.07/1800.61 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 1800.07/1800.61 v -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 1800.07/1800.61 v 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 1800.07/1800.61 v -x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 1800.07/1800.61 v -x109 -x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 1800.07/1800.61 v -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 1800.07/1800.61 v -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 -x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 -x170 -x171 1800.07/1800.61 v -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 -x181 -x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 1800.07/1800.61 v -x193 -x194 -x195 -x196 -x197 -x198 -x199 -x200 -x201 -x202 -x203 -x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 1800.07/1800.61 v -x214 -x215 -x216 -x217 -x218 -x219 -x220 -x221 -x222 -x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 -x232 -x233 -x234 1800.07/1800.61 v -x235 -x236 -x237 -x238 -x239 -x240 -x241 -x242 -x243 -x244 -x245 -x246 -x247 -x248 -x249 -x250 -x251 -x252 -x253 -x254 -x255 1800.07/1800.61 v -x256 -x257 -x258 -x259 -x260 -x261 -x262 -x263 -x264 -x265 -x266 -x267 -x268 -x269 -x270 -x271 -x272 -x273 -x274 -x275 -x276 1800.07/1800.61 v -x277 -x278 -x279 -x280 -x281 -x282 -x283 -x284 -x285 -x286 -x287 -x288 -x289 -x290 -x291 -x292 -x293 -x294 -x295 -x296 -x297 1800.07/1800.61 v -x298 -x299 -x300 -x301 -x302 -x303 -x304 -x305 -x306 -x307 -x308 -x309 -x310 -x311 -x312 -x313 -x314 -x315 -x316 -x317 -x318 1800.07/1800.61 v -x319 -x320 -x321 -x322 -x323 -x324 -x325 -x326 -x327 -x328 -x329 -x330 -x331 -x332 -x333 -x334 -x335 -x336 -x337 -x338 -x339 1800.07/1800.61 v -x340 -x341 -x342 -x343 -x344 -x345 -x346 -x347 -x348 -x349 -x350 -x351 -x352 -x353 -x354 -x355 -x356 -x357 -x358 -x359 -x360 1800.07/1800.61 v -x361 -x362 -x363 -x364 -x365 -x366 -x367 -x368 -x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 1800.07/1800.61 v -x382 -x383 -x384 -x385 -x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 1800.07/1800.61 v -x403 -x404 -x405 -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 1800.07/1800.61 v -x424 -x425 -x426 -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 1800.07/1800.61 v -x445 -x446 -x447 -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 1800.07/1800.61 v -x466 -x467 -x468 -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 1800.07/1800.61 v -x487 -x488 -x489 -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 1800.07/1800.61 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1800.07/1800.61 c 58 288402 98971 530612 363945 94546732 288445 160 1800.09 1800.07/1800.61 c Objective: 18 1800.07/1800.61 s SATISFIABLE 1800.07/1800.61 c Total time: 1800.09 s
OK 18
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node21/watcher-453306-1178129840 -o ROOT/results/node21/solver-453306-1178129840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb 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): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.95 1.02 0.99 3/77 28732 /proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=12244 CPUtime=0 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 363 0 0 0 0 0 0 0 18 0 1 0 260901294 12537856 333 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 3061 333 279 324 0 2004 0 [startup+0.0935909 s] /proc/loadavg: 0.95 1.02 0.99 3/77 28732 /proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=8896 CPUtime=0.08 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 1544 0 0 0 8 0 0 0 18 0 1 0 260901294 9109504 1514 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 2224 1515 337 324 0 1167 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 8896 [startup+0.101591 s] /proc/loadavg: 0.95 1.02 0.99 3/77 28732 /proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=9308 CPUtime=0.09 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 1651 0 0 0 9 0 0 0 18 0 1 0 260901294 9531392 1621 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 2327 1622 342 324 0 1270 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 9308 [startup+0.301612 s] /proc/loadavg: 0.95 1.02 0.99 3/77 28732 /proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=23268 CPUtime=0.29 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5238 0 0 0 27 2 0 0 19 0 1 0 260901294 23826432 5041 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 5817 5041 304 324 0 4887 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 23268 [startup+0.701656 s] /proc/loadavg: 0.95 1.02 0.99 3/77 28732 /proc/meminfo: memFree=1810880/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=23268 CPUtime=0.69 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 67 2 0 0 22 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 5817 5042 304 324 0 4887 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 23268 [startup+1.50174 s] /proc/loadavg: 0.95 1.02 0.99 2/78 28733 /proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=23268 CPUtime=1.49 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 147 2 0 0 25 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 5817 5042 304 324 0 4887 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 23268 [startup+3.10192 s] /proc/loadavg: 0.95 1.02 0.99 2/78 28733 /proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=23268 CPUtime=3.09 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 5239 0 0 0 306 3 0 0 25 0 1 0 260901294 23826432 5042 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 5817 5042 304 324 0 4887 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 23268 [startup+6.30127 s] /proc/loadavg: 0.95 1.02 0.99 2/78 28733 /proc/meminfo: memFree=1791608/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=28024 CPUtime=6.29 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 6511 0 0 0 625 4 0 0 25 0 1 0 260901294 28696576 6239 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 7006 6239 306 324 0 6076 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28024 [startup+12.702 s] /proc/loadavg: 0.96 1.02 0.99 2/78 28733 /proc/meminfo: memFree=1787704/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=29724 CPUtime=12.69 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 8250 0 0 0 1258 11 0 0 25 0 1 0 260901294 30437376 6666 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 7431 6666 310 324 0 6501 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 29724 [startup+25.5014 s] /proc/loadavg: 0.97 1.01 0.99 2/78 28733 /proc/meminfo: memFree=1750712/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=64884 CPUtime=25.49 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 17050 0 0 0 2533 16 0 0 25 0 1 0 260901294 66441216 15466 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551096 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 16221 15466 310 324 0 15291 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 64884 [startup+51.1012 s] /proc/loadavg: 0.98 1.01 0.99 2/78 28733 /proc/meminfo: memFree=1709304/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=106388 CPUtime=51.07 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 27439 0 0 0 5086 21 0 0 25 0 1 0 260901294 108941312 25855 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 26597 25855 310 324 0 25667 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 106388 [startup+102.306 s] /proc/loadavg: 0.99 1.01 0.99 2/78 28733 /proc/meminfo: memFree=1643256/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=171688 CPUtime=102.26 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 43751 0 0 0 10194 32 0 0 25 0 1 0 260901294 175808512 42167 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8871420 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 42922 42167 310 324 0 41992 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 171688 [startup+162.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1553272/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=262092 CPUtime=162.23 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 66364 0 0 0 16177 46 0 0 25 0 1 0 260901294 268382208 64780 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 65523 64780 310 324 0 64593 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 262092 [startup+222.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1484984/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=329456 CPUtime=222.22 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 83193 0 0 0 22164 58 0 0 25 0 1 0 260901294 337362944 81609 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551065 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 82364 81609 310 324 0 81434 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 329456 [startup+282.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1424312/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=391116 CPUtime=282.2 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 98625 0 0 0 28153 67 0 0 25 0 1 0 260901294 400502784 97041 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 97779 97041 310 324 0 96849 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 391116 [startup+342.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1363768/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=450484 CPUtime=342.19 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 113455 0 0 0 34142 77 0 0 25 0 1 0 260901294 461295616 111871 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 112621 111871 310 324 0 111691 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 450484 [startup+402.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1320888/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=494192 CPUtime=402.17 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 124369 0 0 0 40133 84 0 0 25 0 1 0 260901294 506052608 122785 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 123548 122785 310 324 0 122618 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 494192 [startup+462.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1275448/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=538800 CPUtime=462.15 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 135517 0 0 0 46125 90 0 0 25 0 1 0 260901294 551731200 133933 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 134700 133933 310 324 0 133770 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 538800 [startup+522.302 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1229112/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=585344 CPUtime=522.13 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 147172 0 0 0 52115 98 0 0 25 0 1 0 260901294 599392256 145588 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 146336 145588 310 324 0 145406 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 585344 [startup+582.301 s] /proc/loadavg: 0.99 1.00 0.99 2/78 28733 /proc/meminfo: memFree=1186104/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=627972 CPUtime=582.12 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 157815 0 0 0 58108 104 0 0 25 0 1 0 260901294 643043328 156231 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 156993 156231 310 324 0 156063 0 Current children cumulated CPU time (s) 582.12 Current children cumulated vsize (KiB) 627972 [startup+642.302 s] /proc/loadavg: 1.04 1.01 1.00 2/78 28733 /proc/meminfo: memFree=1147192/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=666632 CPUtime=642.1 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 167486 0 0 0 64100 110 0 0 25 0 1 0 260901294 682631168 165902 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551084 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 166658 165902 310 324 0 165728 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 666632 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28733 /proc/meminfo: memFree=1003512/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=809996 CPUtime=882.03 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 203352 0 0 0 88068 135 0 0 25 0 1 0 260901294 829435904 201768 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 4160091710 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 202499 201768 310 324 0 201569 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 809996 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 28733 /proc/meminfo: memFree=968312/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=845408 CPUtime=942.02 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 212196 0 0 0 94061 141 0 0 25 0 1 0 260901294 865697792 210612 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550893 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 211352 210612 310 324 0 210422 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 845408 [startup+1002.3 s] /proc/loadavg: 1.05 1.01 1.00 2/78 28733 /proc/meminfo: memFree=929016/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=884440 CPUtime=1002 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 221947 0 0 0 100053 147 0 0 25 0 1 0 260901294 905666560 220363 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 221110 220363 310 324 0 220180 0 Current children cumulated CPU time (s) 1002 Current children cumulated vsize (KiB) 884440 [startup+1062.3 s] /proc/loadavg: 1.06 1.02 1.00 2/78 28733 /proc/meminfo: memFree=898040/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=915856 CPUtime=1061.98 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 229798 0 0 0 106047 151 0 0 25 0 1 0 260901294 937836544 228214 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 228964 228214 310 324 0 228034 0 Current children cumulated CPU time (s) 1061.98 Current children cumulated vsize (KiB) 915856 [startup+1122.3 s] /proc/loadavg: 1.06 1.03 1.00 2/78 28733 /proc/meminfo: memFree=861624/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=951708 CPUtime=1121.96 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 238785 0 0 0 112037 159 0 0 25 0 1 0 260901294 974548992 237201 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 237927 237201 310 324 0 236997 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 951708 [startup+1182.3 s] /proc/loadavg: 1.05 1.04 1.00 2/78 28733 /proc/meminfo: memFree=831224/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=982304 CPUtime=1181.95 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 246423 0 0 0 118030 165 0 0 25 0 1 0 260901294 1005879296 244839 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551368 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 245576 244839 310 324 0 244646 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 982304 [startup+1242.3 s] /proc/loadavg: 1.16 1.07 1.01 2/78 28733 /proc/meminfo: memFree=796088/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1017336 CPUtime=1241.93 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 255164 0 0 0 124023 170 0 0 25 0 1 0 260901294 1041752064 253580 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 254334 253580 310 324 0 253404 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1017336 [startup+1302.3 s] /proc/loadavg: 1.13 1.07 1.01 2/78 28733 /proc/meminfo: memFree=762168/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1050816 CPUtime=1301.92 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 263534 0 0 0 130017 175 0 0 25 0 1 0 260901294 1076035584 261950 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8873595 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 262704 261950 310 324 0 261774 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1050816 [startup+1362.3 s] /proc/loadavg: 1.11 1.07 1.01 2/78 28733 /proc/meminfo: memFree=734584/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1078420 CPUtime=1361.89 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 270453 0 0 0 136010 179 0 0 25 0 1 0 260901294 1104302080 268869 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 269605 268869 310 324 0 268675 0 Current children cumulated CPU time (s) 1361.89 Current children cumulated vsize (KiB) 1078420 [startup+1422.31 s] /proc/loadavg: 1.10 1.07 1.01 2/78 28733 /proc/meminfo: memFree=708600/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1104104 CPUtime=1421.88 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 276880 0 0 0 142004 184 0 0 25 0 1 0 260901294 1130602496 275296 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 276026 275296 310 324 0 275096 0 Current children cumulated CPU time (s) 1421.88 Current children cumulated vsize (KiB) 1104104 [startup+1482.3 s] /proc/loadavg: 1.09 1.07 1.01 2/78 28735 /proc/meminfo: memFree=681976/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1130844 CPUtime=1481.85 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 283568 0 0 0 147996 189 0 0 25 0 1 0 260901294 1157984256 281984 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 282711 281984 310 324 0 281781 0 Current children cumulated CPU time (s) 1481.85 Current children cumulated vsize (KiB) 1130844 [startup+1542.3 s] /proc/loadavg: 1.03 1.05 1.00 2/78 28735 /proc/meminfo: memFree=661176/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1151700 CPUtime=1541.84 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 288768 0 0 0 153991 193 0 0 25 0 1 0 260901294 1179340800 287184 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550872 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 287925 287184 310 324 0 286995 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1151700 [startup+1602.3 s] /proc/loadavg: 1.01 1.04 1.00 2/78 28735 /proc/meminfo: memFree=635256/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1177776 CPUtime=1601.82 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 295288 0 0 0 159985 197 0 0 25 0 1 0 260901294 1206042624 293704 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 8879744 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 294444 293704 310 324 0 293514 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1177776 [startup+1662.3 s] /proc/loadavg: 1.00 1.03 1.00 2/78 28735 /proc/meminfo: memFree=610424/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1202412 CPUtime=1661.8 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 301452 0 0 0 165978 202 0 0 25 0 1 0 260901294 1231269888 299868 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550764 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 300603 299868 310 324 0 299673 0 Current children cumulated CPU time (s) 1661.8 Current children cumulated vsize (KiB) 1202412 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28735 /proc/meminfo: memFree=587704/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1225260 CPUtime=1721.79 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 307158 0 0 0 171972 207 0 0 25 0 1 0 260901294 1254666240 305574 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 306315 305574 310 324 0 305385 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1225260 [startup+1782.3 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28735 /proc/meminfo: memFree=565624/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1247024 CPUtime=1781.77 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 312600 0 0 0 177965 212 0 0 25 0 1 0 260901294 1276952576 311016 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134551321 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 311756 311016 310 324 0 310826 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1247024 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28735 /proc/meminfo: memFree=556856/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=1255700 CPUtime=1800.07 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194304 314758 0 0 0 179793 214 0 0 25 0 1 0 260901294 1285836800 313174 18446744073709551615 134512640 135840783 4294956608 18446744073709551615 134550804 0 0 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 313925 313174 310 324 0 312995 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1255700 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.8 s] /proc/loadavg: 1.00 1.02 1.00 2/78 28735 /proc/meminfo: memFree=556856/2055920 swapFree=4156296/4192956 [pid=28732] ppid=28730 vsize=0 CPUtime=1800.27 /proc/28732/stat : 28732 (bsolo3.0.17) R 28730 28732 28069 0 -1 4194308 314762 0 0 0 179794 233 0 0 25 0 1 0 260901294 0 0 18446744073709551615 0 0 0 0 0 0 16384 4096 16384 0 0 0 17 1 0 0 /proc/28732/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.27 Current children cumulated vsize (KiB) 0 Child status: 15 Real time (s): 1800.82 CPU time (s): 1800.29 CPU user time (s): 1797.94 CPU system time (s): 2.35164 CPU usage (%): 99.9708 Max. virtual memory (cumulated for all children) (KiB): 1255700 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.94 system time used= 2.35164 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 314762 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= 12 involuntary context switches= 2541 runsolver used 1.52277 second user time and 4.16537 second system time The end
Begin job on node21 on Wed May 2 18:17:20 UTC 2007 IDJOB= 453306 IDBENCH= 48121 IDSOLVER= 199 FILE ID= node21/453306-1178129840 PBS_JOBID= 4751039 Free space on /tmp= 66558 MiB SOLVER NAME= bsolo 3.0.17 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_500_60_5.opb COMMAND LINE= bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node21/watcher-453306-1178129840 -o ROOT/results/node21/solver-453306-1178129840 -C 1800 -W 3600 -M 1800 --output-limit 1,15 bsolo3.0.17 -m1800 /tmp/evaluation/453306-1178129840/instance-453306-1178129840.opb META MD5SUM SOLVER= c9b15312c639dd71a11a1e3ca1b27020 MD5SUM BENCH= e079962149860142627e0ca6e79ba5d1 RANDOM SEED= 554668807 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node21.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.232 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1811288 kB Buffers: 69740 kB Cached: 81116 kB SwapCached: 15540 kB Active: 98420 kB Inactive: 81996 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1811288 kB SwapTotal: 4192956 kB SwapFree: 4156296 kB Dirty: 7108 kB Writeback: 0 kB Mapped: 35452 kB Slab: 49772 kB Committed_AS: 4783404 kB PageTables: 1800 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66558 MiB End job on node21 on Wed May 2 18:47:23 UTC 2007