Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | SAT (TO) | 6401 | 1800.68 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/ synthesis-ptl-cmos-circuits/normalized-my_adder.opb |
MD5SUM | 38f65eab3d9896915eed9a127435e25b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4561 |
Best CPU time to get the best result obtained on this benchmark | 12.6021 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4561 |
Optimality of the best value was proved | YES |
Number of variables | 577 |
Total number of constraints | 1322 |
Number of constraints which are clauses | 1306 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 16 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 17 |
Number of terms in the objective function | 577 |
Biggest coefficient in the objective function | 61 |
Number of bits for the biggest coefficient in the objective function | 6 |
Sum of the numbers in the objective function | 24510 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 61 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 24510 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node79/32039-1149401280/instance-32039-1149401280.opb 51188867 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 51188867 0.00 c Noise: 0.7 (70 : 100) 0.02 c Starting searching: 0.02 c Phase 1 ... 0.02 c trying 24510: vc 0.02 o 12931 0.03 c trying 8620: vc 0.03 o 8609 107.74 c trying 5738: xxxxxxxxxxc 107.74 c Phase 2 ... 107.75 c trying 8608: vc 107.75 o 8597 107.75 c trying 8596: vc 107.75 o 8586 107.77 c trying 8585: vc 107.77 o 8572 107.78 c trying 8571: vc 107.78 o 8556 107.78 c trying 8555: vc 107.78 o 8544 107.79 c trying 8543: vc 107.79 o 8531 107.79 c trying 8530: vc 107.79 o 8522 107.79 c trying 8521: vc 107.79 o 8515 107.80 c trying 8514: vc 107.80 o 8482 107.80 c trying 8481: vc 107.80 o 8455 107.82 c trying 8454: vc 107.82 o 8450 107.83 c trying 8449: vc 107.83 o 8405 107.84 c trying 8404: vc 107.84 o 8394 107.84 c trying 8393: vc 107.84 o 8381 107.85 c trying 8380: vc 107.85 o 8376 107.85 c trying 8375: vc 107.85 o 8365 107.86 c trying 8364: vc 107.86 o 8349 107.86 c trying 8348: vc 107.86 o 8337 107.86 c trying 8336: vc 107.86 o 8314 107.87 c trying 8313: vc 107.87 o 8282 107.88 c trying 8281: vc 107.88 o 8262 107.88 c trying 8261: vc 107.88 o 8248 107.89 c trying 8247: vc 107.89 o 8244 107.90 c trying 8243: vc 107.90 o 8220 107.90 c trying 8219: vc 107.90 o 8209 107.91 c trying 8208: vc 107.91 o 8196 107.92 c trying 8195: vc 107.92 o 8161 107.92 c trying 8160: vc 107.92 o 8159 107.94 c trying 8158: vc 107.94 o 8136 107.95 c trying 8135: vc 107.95 o 8101 107.96 c trying 8100: vc 107.96 o 8082 107.96 c trying 8081: vc 107.96 o 8072 107.97 c trying 8071: vc 107.97 o 8055 107.97 c trying 8054: vc 107.97 o 8045 107.98 c trying 8044: vc 107.98 o 8041 107.99 c trying 8040: vc 107.99 o 8038 107.99 c trying 8037: vc 107.99 o 8007 108.00 c trying 8006: vc 108.00 o 8006 108.01 c trying 8005: vc 108.01 o 7979 108.01 c trying 7978: vc 108.01 o 7958 108.02 c trying 7957: vc 108.02 o 7945 108.03 c trying 7944: vc 108.03 o 7933 108.04 c trying 7932: vc 108.04 o 7929 108.05 c trying 7928: vc 108.05 o 7924 108.06 c trying 7923: vc 108.06 o 7891 108.08 c trying 7890: vc 108.08 o 7886 108.08 c trying 7885: vc 108.08 o 7882 108.09 c trying 7881: vc 108.09 o 7881 108.10 c trying 7880: vc 108.10 o 7875 108.10 c trying 7874: vc 108.10 o 7855 108.11 c trying 7854: vc 108.11 o 7854 108.12 c trying 7853: vc 108.12 o 7853 108.12 c trying 7852: vc 108.12 o 7844 108.14 c trying 7843: vc 108.14 o 7837 108.15 c trying 7836: vc 108.15 o 7827 108.16 c trying 7826: vc 108.16 o 7825 108.16 c trying 7824: vc 108.16 o 7822 108.18 c trying 7821: vc 108.18 o 7801 108.19 c trying 7800: vc 108.19 o 7799 108.20 c trying 7798: vc 108.20 o 7792 108.20 c trying 7791: vc 108.20 o 7770 108.21 c trying 7769: vc 108.21 o 7762 108.22 c trying 7761: vc 108.22 o 7757 108.23 c trying 7756: vc 108.23 o 7740 108.24 c trying 7739: vc 108.24 o 7714 108.25 c trying 7713: vc 108.25 o 7713 108.26 c trying 7712: vc 108.26 o 7710 108.27 c trying 7709: vc 108.27 o 7706 108.28 c trying 7705: vc 108.28 o 7701 108.29 c trying 7700: vc 108.29 o 7696 108.30 c trying 7695: vc 108.30 o 7687 108.31 c trying 7686: vc 108.31 o 7662 108.31 c trying 7661: vc 108.31 o 7656 108.33 c trying 7655: vc 108.33 o 7648 108.35 c trying 7647: vc 108.35 o 7640 108.36 c trying 7639: vc 108.36 o 7613 108.37 c trying 7612: vc 108.37 o 7563 108.38 c trying 7562: vc 108.38 o 7546 108.39 c trying 7545: vc 108.39 o 7540 108.39 c trying 7539: vc 108.39 o 7518 108.40 c trying 7517: vc 108.41 o 7514 108.41 c trying 7513: vc 108.41 o 7508 108.42 c trying 7507: vc 108.42 o 7505 108.43 c trying 7504: vc 108.43 o 7503 108.45 c trying 7502: vc 108.45 o 7495 108.46 c trying 7494: vc 108.46 o 7477 108.47 c trying 7476: vc 108.47 o 7463 108.48 c trying 7462: vc 108.48 o 7453 108.49 c trying 7452: vc 108.49 o 7415 108.52 c trying 7414: vc 108.52 o 7402 108.53 c trying 7401: vc 108.53 o 7399 108.54 c trying 7398: vc 108.54 o 7392 108.56 c trying 7391: vc 108.56 o 7369 108.58 c trying 7368: vc 108.58 o 7340 108.59 c trying 7339: vc 108.59 o 7337 108.60 c trying 7336: vc 108.60 o 7336 108.62 c trying 7335: vc 108.62 o 7332 108.63 c trying 7331: vc 108.63 o 7330 108.64 c trying 7329: vc 108.64 o 7328 108.65 c trying 7327: vc 108.65 o 7317 108.67 c trying 7316: vc 108.67 o 7307 108.68 c trying 7306: vc 108.68 o 7297 108.70 c trying 7296: vc 108.70 o 7280 108.71 c trying 7279: vc 108.71 o 7268 108.72 c trying 7267: vc 108.72 o 7252 108.73 c trying 7251: vc 108.73 o 7248 108.75 c trying 7247: vc 108.75 o 7246 108.78 c trying 7245: vc 108.78 o 7234 108.79 c trying 7233: vc 108.79 o 7217 108.80 c trying 7216: vc 108.80 o 7208 108.81 c trying 7207: vc 108.81 o 7207 108.84 c trying 7206: vc 108.84 o 7206 108.88 c trying 7205: vc 108.88 o 7201 108.89 c trying 7200: vc 108.89 o 7186 108.90 c trying 7185: vc 108.90 o 7184 108.91 c trying 7183: vc 108.91 o 7180 108.93 c trying 7179: vc 108.93 o 7179 108.97 c trying 7178: vc 108.97 o 7172 109.00 c trying 7171: vc 109.00 o 7168 109.02 c trying 7167: vc 109.02 o 7164 109.05 c trying 7163: vc 109.05 o 7149 109.07 c trying 7148: vc 109.07 o 7137 109.10 c trying 7136: vc 109.10 o 7112 109.12 c trying 7111: vc 109.12 o 7094 109.13 c trying 7093: vc 109.13 o 7093 109.16 c trying 7092: vc 109.16 o 7092 109.19 c trying 7091: vc 109.19 o 7086 109.21 c trying 7085: vc 109.21 o 7060 109.23 c trying 7059: vc 109.23 o 7053 109.25 c trying 7052: vc 109.25 o 7030 109.26 c trying 7029: vc 109.26 o 7022 109.27 c trying 7021: vc 109.27 o 7017 109.29 c trying 7016: vc 109.29 o 7002 109.55 c trying 7001: vc 109.55 o 6977 109.66 c trying 6976: vc 109.66 o 6965 109.74 c trying 6964: vc 109.74 o 6956 109.77 c trying 6955: vc 109.77 o 6947 109.81 c trying 6946: vc 109.81 o 6937 109.84 c trying 6936: vc 109.84 o 6921 109.95 c trying 6920: vc 109.95 o 6916 112.13 c trying 6915: vc 112.13 o 6914 113.98 c trying 6913: vc 113.98 o 6894 114.02 c trying 6893: vc 114.02 o 6889 114.05 c trying 6888: vc 114.05 o 6868 114.19 c trying 6867: vc 114.19 o 6858 115.83 c trying 6857: vc 115.83 o 6851 119.20 c trying 6850: vc 119.20 o 6831 119.48 c trying 6830: vc 119.48 o 6825 119.93 c trying 6824: vc 119.93 o 6818 120.88 c trying 6817: vc 120.88 o 6789 121.04 c trying 6788: vc 121.04 o 6771 121.33 c trying 6770: vc 121.33 o 6764 121.44 c trying 6763: vc 121.44 o 6762 121.64 c trying 6761: vc 121.64 o 6761 123.20 c trying 6760: vc 123.20 o 6747 123.38 c trying 6746: vc 123.38 o 6739 123.60 c trying 6738: vc 123.60 o 6734 124.39 c trying 6733: vc 124.39 o 6710 126.22 c trying 6709: vc 126.22 o 6687 126.37 c trying 6686: vc 126.37 o 6669 132.06 c trying 6668: vc 132.06 o 6666 134.00 c trying 6665: vc 134.00 o 6664 134.48 c trying 6663: vc 134.48 o 6651 135.27 c trying 6650: vc 135.27 o 6645 138.27 c trying 6644: vc 138.27 o 6644 150.38 c trying 6643: vc 150.38 o 6643 155.08 c trying 6642: vc 155.08 o 6631 156.55 c trying 6630: vc 156.55 o 6618 160.06 c trying 6617: vc 160.06 o 6615 161.14 c trying 6614: vc 161.14 o 6614 162.47 c trying 6613: vc 162.47 o 6592 172.42 c trying 6591: vc 172.42 o 6584 174.92 c trying 6583: vc 174.92 o 6576 185.84 c trying 6575: vc 185.84 o 6557 191.74 c trying 6556: vc 191.74 o 6556 205.21 c trying 6555: vc 205.21 o 6552 224.50 c trying 6551: vc 224.50 o 6544 231.13 c trying 6543: vc 231.13 o 6536 246.53 c trying 6535: vc 246.53 o 6535 254.00 c trying 6534: vc 254.00 o 6517 258.61 c trying 6516: vc 258.61 o 6516 292.72 c trying 6515: vc 292.72 o 6513 307.21 c trying 6512: vc 307.21 o 6493 323.11 c trying 6492: vc 323.11 o 6490 349.31 c trying 6489: vc 349.31 o 6486 374.56 c trying 6485: vc 374.56 o 6484 388.81 c trying 6483: vc 388.81 o 6481 404.30 c trying 6480: vc 404.30 o 6479 443.75 c trying 6478: vc 443.75 o 6477 497.20 c trying 6476: xvc 497.20 o 6460 525.04 c trying 6459: vc 525.04 o 6439 587.44 c trying 6438: xvc 587.44 o 6435 616.82 c trying 6434: vc 616.82 o 6422 999.28 c trying 6421: xxxxxxxxxxc 999.28 c Phase 3 ... 1169.10 c trying 6421 again: vc 1169.10 o 6401 1801.14 c trying 6400 again: xc 1801.14 s SATISFIABLE 1801.14 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 1801.14 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 -x58 1801.14 v 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 1801.14 v 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 1801.14 v x114 -x115 -x116 x117 x118 x119 x120 -x121 x122 x123 x124 -x125 x126 -x127 x128 x129 x130 -x131 -x132 -x133 -x134 -x135 -x136 1801.14 v -x137 x138 -x139 -x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 -x150 -x151 -x152 -x153 -x154 -x155 x156 -x157 1801.14 v -x158 x159 x160 -x161 -x162 -x163 -x164 x165 -x166 x167 x168 -x169 x170 x171 -x172 x173 x174 -x175 -x176 x177 -x178 -x179 x180 1801.14 v -x181 -x182 x183 -x184 -x185 x186 -x187 -x188 x189 -x190 x191 x192 -x193 -x194 x195 x196 -x197 x198 x199 x200 x201 -x202 x203 1801.14 v x204 -x205 -x206 x207 -x208 x209 x210 x211 -x212 -x213 x214 -x215 x216 x217 -x218 x219 x220 -x221 -x222 x223 -x224 -x225 x226 1801.14 v -x227 -x228 x229 -x230 -x231 x232 -x233 x234 x235 -x236 -x237 x238 -x239 -x240 x241 -x242 x243 x244 -x245 x246 x247 -x248 x249 1801.14 v x250 -x251 x252 x253 -x254 -x255 x256 -x257 -x258 x259 x260 x261 x262 x263 x264 x265 x266 x267 x268 x269 x270 x271 x272 x273 1801.14 v x274 -x275 -x276 x277 -x278 x279 -x280 -x281 x282 -x283 -x284 -x285 x286 -x287 -x288 x289 -x290 x291 -x292 x293 -x294 -x295 1801.14 v -x296 x297 -x298 x299 -x300 -x301 -x302 x303 x304 -x305 -x306 x307 -x308 x309 x310 -x311 x312 -x313 -x314 -x315 -x316 -x317 1801.14 v -x318 -x319 -x320 x321 -x322 x323 x324 -x325 -x326 x327 x328 x329 x330 -x331 x332 x333 -x334 -x335 -x336 -x337 x338 x339 -x340 1801.14 v -x341 x342 x343 x344 x345 -x346 -x347 -x348 x349 -x350 -x351 x352 -x353 x354 -x355 -x356 -x357 -x358 x359 x360 x361 x362 -x363 1801.14 v -x364 x365 x366 -x367 -x368 x369 -x370 -x371 -x372 -x373 -x374 -x375 -x376 -x377 -x378 -x379 -x380 -x381 -x382 -x383 -x384 1801.14 v -x385 x386 -x387 -x388 -x389 -x390 -x391 -x392 -x393 -x394 -x395 -x396 -x397 -x398 -x399 -x400 -x401 -x402 -x403 -x404 -x405 1801.14 v -x406 -x407 -x408 -x409 -x410 -x411 -x412 -x413 -x414 -x415 -x416 -x417 -x418 -x419 -x420 -x421 -x422 -x423 -x424 x425 -x426 1801.14 v -x427 -x428 -x429 -x430 -x431 -x432 -x433 -x434 -x435 -x436 -x437 -x438 -x439 -x440 -x441 -x442 -x443 -x444 -x445 -x446 -x447 1801.14 v -x448 -x449 -x450 -x451 -x452 -x453 -x454 -x455 -x456 -x457 -x458 -x459 -x460 -x461 -x462 -x463 -x464 -x465 -x466 -x467 -x468 1801.14 v -x469 -x470 -x471 -x472 -x473 -x474 -x475 -x476 -x477 -x478 -x479 -x480 -x481 -x482 -x483 -x484 -x485 -x486 -x487 -x488 -x489 1801.14 v -x490 -x491 -x492 -x493 -x494 -x495 -x496 -x497 -x498 -x499 -x500 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 1801.14 v -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 1801.14 v -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 1801.14 v -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 1801.14 v -x574 -x575 -x576 -x577 1801.14 c Total Number of Positive Atoms : 170 1801.14 c 1801.14 c During searching: 1169.09 seconds elapsed. 1801.14 c CPU time spent: 1168.97 seconds. 1801.14 c 1801.14 c =================================== END ===================================== 1801.14 c
OK 6401
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node79/watcher-32039-1149401280 -o ROOT/results/node79/solver-32039-1149401280 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node79/32039-1149401280/instance-32039-1149401280.opb 51188867 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.95 2/67 13670 /proc/meminfo: memFree=1870464/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6000 CPUtime=0 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 145 0 0 0 0 0 0 0 19 0 1 0 205766654 6144000 130 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1500 131 105 226 0 1271 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.95 2/67 13670 /proc/meminfo: memFree=1869696/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=10 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 1000 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611546 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 6628 [startup+20.0084 s] /proc/loadavg: 0.94 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=20 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 2000 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868567 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 6628 [startup+30.0135 s] /proc/loadavg: 0.95 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=30 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 3000 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566945 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 6628 [startup+40.0186 s] /proc/loadavg: 0.95 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=40 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 4000 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607717 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 6628 [startup+50.0247 s] /proc/loadavg: 0.96 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=50.01 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 5001 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601350 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 6628 [startup+60.0307 s] /proc/loadavg: 0.97 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=60.01 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 6001 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 6628 [startup+70.0368 s] /proc/loadavg: 0.97 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=70.01 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 7001 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611546 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 6628 [startup+80.0429 s] /proc/loadavg: 0.98 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=80.02 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 8002 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 6628 [startup+90.048 s] /proc/loadavg: 0.98 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=90.02 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 9002 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611576 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 6628 [startup+100.054 s] /proc/loadavg: 0.98 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=100.02 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 10002 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566821 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 6628 [startup+110.06 s] /proc/loadavg: 0.98 0.96 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=110.03 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 11003 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 6628 [startup+120.066 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869888/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=120.03 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 12003 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598354 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 6628 [startup+130.072 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=130.03 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 13003 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 6628 [startup+140.077 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=140.03 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 14003 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607242 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 6628 [startup+150.083 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=150.04 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 15004 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 6628 [startup+160.089 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=160.04 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 16004 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 6628 [startup+170.095 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=170.04 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 17004 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566224 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 6628 [startup+180.101 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=180.05 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 18005 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598305 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 6628 [startup+190.107 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=190.05 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 19005 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607221 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 6628 [startup+200.112 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=200.05 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 20005 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601798 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 6628 [startup+210.117 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869824/2055892 swapFree=4085392/4096564 ################ # More data... # ################ [pid=13670] ppid=13668 vsize=6628 CPUtime=1781.58 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178158 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134567229 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (Kb) 6628 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1782.59 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178259 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566243 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1782.59 Current children cumulated vsize (Kb) 6628 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1783.59 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178359 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601774 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1783.59 Current children cumulated vsize (Kb) 6628 [startup+1785.06 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1784.59 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178459 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566255 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1784.59 Current children cumulated vsize (Kb) 6628 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1785.6 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178560 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1785.6 Current children cumulated vsize (Kb) 6628 [startup+1787.07 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1786.6 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178660 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1786.6 Current children cumulated vsize (Kb) 6628 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1787.61 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178761 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1787.61 Current children cumulated vsize (Kb) 6628 [startup+1789.08 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1788.61 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178861 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601321 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1788.61 Current children cumulated vsize (Kb) 6628 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1789.62 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 178962 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1789.62 Current children cumulated vsize (Kb) 6628 [startup+1791.09 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1790.62 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179062 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601737 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1790.62 Current children cumulated vsize (Kb) 6628 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1791.63 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179163 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1791.63 Current children cumulated vsize (Kb) 6628 [startup+1793.1 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1792.63 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179263 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1792.63 Current children cumulated vsize (Kb) 6628 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1793.63 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179363 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598592 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1793.63 Current children cumulated vsize (Kb) 6628 [startup+1795.11 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1794.64 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179464 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1794.64 Current children cumulated vsize (Kb) 6628 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1795.64 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179564 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1795.64 Current children cumulated vsize (Kb) 6628 [startup+1797.12 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1796.65 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179665 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605283 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1796.65 Current children cumulated vsize (Kb) 6628 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1797.65 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179765 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597105 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1797.65 Current children cumulated vsize (Kb) 6628 [startup+1799.13 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1798.66 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179866 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566296 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1798.66 Current children cumulated vsize (Kb) 6628 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1799.66 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 179966 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601350 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1799.66 Current children cumulated vsize (Kb) 6628 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1800.67 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 180067 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601307 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 6628 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.95 2/67 13670 /proc/meminfo: memFree=1869504/2055892 swapFree=4085392/4096564 [pid=13670] ppid=13668 vsize=6628 CPUtime=1800.67 /proc/13670/stat : 13670 (wildcat-rnp) R 13668 13670 13624 0 -1 4194304 322 0 0 0 180067 0 0 0 25 0 1 0 205766654 6787072 299 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/13670/statm: 1657 299 117 226 0 1428 0 Current children cumulated CPU time (s) 1800.67 Current children cumulated vsize (Kb) 6628 Sending SIGTERM to -13670 Sleeping 2 seconds Child status: 0 Real time (s): 1801.15 CPU time (s): 1800.68 CPU user time (s): 1800.68 CPU system time (s): 0.001999 CPU usage (%): 99.9736 Max. virtual memory (cumulated for all children) (Kb): 6628
Begin job on node79 on Sun Jun 4 06:08:00 UTC 2006 FILE ID= 32039-1149401280 PBS_JOBID= 314033 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node79/32039-1149401280/instance-32039-1149401280.opb 51188867 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node79/watcher-32039-1149401280 -o ROOT/results/node79/solver-32039-1149401280 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node79/32039-1149401280/instance-32039-1149401280.opb 51188867 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 38f65eab3d9896915eed9a127435e25b RANDOM SEED= 51188867 /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.234 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 : 6006.18 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.234 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 : 5999.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1870736 kB Buffers: 14240 kB Cached: 109820 kB SwapCached: 2284 kB Active: 32268 kB Inactive: 100304 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1870736 kB SwapTotal: 4096564 kB SwapFree: 4085392 kB Dirty: 160 kB Writeback: 0 kB Mapped: 16552 kB Slab: 39264 kB Committed_AS: 373652 kB PageTables: 1304 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node79 on Sun Jun 4 06:38:02 UTC 2006