Name | submitted/manquinho/synthesis-ptl-cmos-circuits/normalized-my_adder.opb |
MD5SUM | fe8f615a95a6852516985b8e3e78bd85 |
Bench Category | optimization, small integers (OPTSMALLINT) |
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 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 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 45.2981 |
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 |
LAUNCH ON wulflinc12 THE 2005-09-18 09:07:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=254 boxname=wulflinc12 idbench=254 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: fe8f615a95a6852516985b8e3e78bd85 /oldhome/oroussel/tmp/wulflinc12/normalized-my_adder.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc12/normalized-my_adder.opb IDLAUNCH: 254 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.091 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 934084 kB Buffers: 37660 kB Cached: 24152 kB SwapCached: 544 kB Active: 53360 kB Inactive: 20668 kB HighTotal: 131008 kB HighFree: 106792 kB LowTotal: 903652 kB LowFree: 827292 kB SwapTotal: 2097136 kB SwapFree: 2096072 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5884 kB Slab: 21044 kB Committed_AS: 64164 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 09:08:03 (client local time) WITH STATUS 30 IN 45.2981 SECONDS stats: 254 0 45.2981 30
c INFO: OSL Context initialized. c Initial problem consists of 577 variables and 1322 constraints. c preprocess terminated. Elapsed time: 0.3 c After prepocess the problem consists of 576 variables and 1320 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 6245 @ 0.486 @ #Dec. 114 c NEW SOLUTION FOUND: 6244 @ 0.488 @ #Dec. 116 c NEW SOLUTION FOUND: 6236 @ 0.491 @ #Dec. 116 c NEW SOLUTION FOUND: 6211 @ 0.493 @ #Dec. 118 c NEW SOLUTION FOUND: 6210 @ 0.496 @ #Dec. 119 c NEW SOLUTION FOUND: 6194 @ 0.499 @ #Dec. 123 c NEW SOLUTION FOUND: 6193 @ 0.501 @ #Dec. 125 c NEW SOLUTION FOUND: 6177 @ 0.516 @ #Dec. 135 c NEW SOLUTION FOUND: 6176 @ 0.521 @ #Dec. 137 c NEW SOLUTION FOUND: 6160 @ 0.525 @ #Dec. 142 c NEW SOLUTION FOUND: 6159 @ 0.529 @ #Dec. 144 c NEW SOLUTION FOUND: 6143 @ 0.584 @ #Dec. 185 c NEW SOLUTION FOUND: 6142 @ 0.588 @ #Dec. 187 c NEW SOLUTION FOUND: 6126 @ 0.859 @ #Dec. 395 c NEW SOLUTION FOUND: 6125 @ 0.862 @ #Dec. 397 c Restart #1 #Var: 576 #Dec: 636 LB: 0 @ 1.188 c NEW SOLUTION FOUND: 5484 @ 1.744 @ #Dec. 887 c NEW SOLUTION FOUND: 5483 @ 1.746 @ #Dec. 887 c NEW SOLUTION FOUND: 5450 @ 1.762 @ #Dec. 911 c NEW SOLUTION FOUND: 5425 @ 1.763 @ #Dec. 911 c NEW SOLUTION FOUND: 5400 @ 1.765 @ #Dec. 912 c NEW SOLUTION FOUND: 5392 @ 1.769 @ #Dec. 914 c NEW SOLUTION FOUND: 5367 @ 1.77 @ #Dec. 915 c NEW SOLUTION FOUND: 5359 @ 1.775 @ #Dec. 918 c NEW SOLUTION FOUND: 5334 @ 1.777 @ #Dec. 919 c NEW SOLUTION FOUND: 5324 @ 1.824 @ #Dec. 952 c NEW SOLUTION FOUND: 5218 @ 1.916 @ #Dec. 1027 c NEW SOLUTION FOUND: 5217 @ 1.917 @ #Dec. 1027 c NEW SOLUTION FOUND: 5193 @ 2.205 @ #Dec. 1239 c NEW SOLUTION FOUND: 5192 @ 2.206 @ #Dec. 1239 c NEW SOLUTION FOUND: 5167 @ 2.207 @ #Dec. 1240 c Restart #2 #Var: 576 #Dec: 1661 LB: 0 @ 2.783 c Restart #3 #Var: 350 #Dec: 2390 LB: 1596 @ 3.712 c NEW SOLUTION FOUND: 5152 @ 3.778 @ #Dec. 2430 c NEW SOLUTION FOUND: 5136 @ 3.849 @ #Dec. 2490 c NEW SOLUTION FOUND: 5127 @ 3.852 @ #Dec. 2492 c NEW SOLUTION FOUND: 5113 @ 4.48 @ #Dec. 3017 c Restart #4 #Var: 306 #Dec: 4037 LB: 1680 @ 5.568 c Restart #5 #Var: 306 #Dec: 5531 LB: 1680 @ 7.197 c NEW SOLUTION FOUND: 5105 @ 8.18 @ #Dec. 6508 c NEW SOLUTION FOUND: 5088 @ 8.183 @ #Dec. 6510 c NEW SOLUTION FOUND: 5079 @ 8.193 @ #Dec. 6520 c NEW SOLUTION FOUND: 5063 @ 8.215 @ #Dec. 6541 c NEW SOLUTION FOUND: 5046 @ 8.216 @ #Dec. 6543 c NEW SOLUTION FOUND: 5043 @ 8.278 @ #Dec. 6605 c NEW SOLUTION FOUND: 5026 @ 9.599 @ #Dec. 7787 c NEW SOLUTION FOUND: 5009 @ 9.6 @ #Dec. 7787 c NEW SOLUTION FOUND: 4992 @ 9.606 @ #Dec. 7791 c NEW SOLUTION FOUND: 4989 @ 9.754 @ #Dec. 7927 c NEW SOLUTION FOUND: 4978 @ 11.468 @ #Dec. 9193 c NEW SOLUTION FOUND: 4975 @ 11.729 @ #Dec. 9464 c Restart #6 #Var: 306 #Dec: 10801 LB: 1680 @ 13.491 c Restart #7 #Var: 306 #Dec: 12957 LB: 1680 @ 15.827 c Restart #8 #Var: 306 #Dec: 15075 LB: 1680 @ 18.22 c Restart #9 #Var: 306 #Dec: 17598 LB: 1680 @ 20.952 c CHANGE to LPR mode... UB: 4975 MIS: 3604 LPR: 4466 (0.091667) Diff: 0.80699 c Restart #0 #Var: 306 #Dec: 20105 LB: 1680 @ 24.184 c NEW SOLUTION FOUND: 4585 @ 24.841 @ #Dec. 20111 c NEW SOLUTION FOUND: 4579 @ 25.202 @ #Dec. 20113 c NEW SOLUTION FOUND: 4575 @ 33.514 @ #Dec. 20155 c NEW SOLUTION FOUND: 4571 @ 36.749 @ #Dec. 20170 c NEW SOLUTION FOUND: 4565 @ 37.595 @ #Dec. 20174 c NEW SOLUTION FOUND: 4561 @ 39.22 @ #Dec. 20182 s OPTIMUM FOUND 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 -x501 -x502 -x503 -x504 -x505 -x506 -x507 -x508 -x509 -x510 -x511 -x512 -x513 -x514 -x515 -x516 -x517 -x518 -x519 -x520 -x521 -x522 -x523 -x524 -x525 -x526 -x527 -x528 -x529 -x530 -x531 -x532 -x533 -x534 -x535 -x536 -x537 -x538 -x539 -x540 -x541 -x542 -x543 -x544 -x545 -x546 -x547 -x548 -x549 -x550 -x551 -x552 -x553 -x554 -x555 -x556 -x557 -x558 -x559 -x560 -x561 -x562 -x563 -x564 -x565 -x566 -x567 -x568 -x569 -x570 -x571 -x572 -x573 -x574 -x575 -x576 x577 c Cost: 4561 c Exit Code: 30 c Total time: 45.289 s
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/10041/stat): 10041 (bsolo) R 10040 10041 8263 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1781809479 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10041/statm): 107 3 90 68 0 39 0 [pid=10041] vsize: 428 open syscall for file /etc/ld.so.preload open syscall for file tls/i686/mmx/libosl.so open syscall for file tls/i686/libosl.so open syscall for file tls/mmx/libosl.so open syscall for file tls/libosl.so open syscall for file i686/mmx/libosl.so open syscall for file i686/libosl.so open syscall for file mmx/libosl.so open syscall for file libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/i686/libosl.so open syscall for file /oldhome/oroussel/lib/tls/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/tls/libosl.so open syscall for file /oldhome/oroussel/lib/i686/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/i686/libosl.so open syscall for file /oldhome/oroussel/lib/mmx/libosl.so open syscall for file /oldhome/oroussel/lib/libosl.so open syscall for file tls/i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/libstdc++-libc6.2-2.so.3 open syscall for file tls/mmx/libstdc++-libc6.2-2.so.3 open syscall for file tls/libstdc++-libc6.2-2.so.3 open syscall for file i686/mmx/libstdc++-libc6.2-2.so.3 open syscall for file i686/libstdc++-libc6.2-2.so.3 open syscall for file mmx/libstdc++-libc6.2-2.so.3 open syscall for file libstdc++-libc6.2-2.so.3 open syscall for file /oldhome/oroussel/lib/libstdc++-libc6.2-2.so.3 open syscall for file /etc/ld.so.cache open syscall for file /usr/lib/libstdc++-libc6.2-2.so.3 open syscall for file tls/i686/mmx/libm.so.6 open syscall for file tls/i686/libm.so.6 open syscall for file tls/mmx/libm.so.6 open syscall for file tls/libm.so.6 open syscall for file i686/mmx/libm.so.6 open syscall for file i686/libm.so.6 open syscall for file mmx/libm.so.6 open syscall for file libm.so.6 open syscall for file /oldhome/oroussel/lib/libm.so.6 open syscall for file /lib/tls/libm.so.6 open syscall for file tls/i686/mmx/libpthread.so.0 open syscall for file tls/i686/libpthread.so.0 open syscall for file tls/mmx/libpthread.so.0 open syscall for file tls/libpthread.so.0 open syscall for file i686/mmx/libpthread.so.0 open syscall for file i686/libpthread.so.0 open syscall for file mmx/libpthread.so.0 open syscall for file libpthread.so.0 open syscall for file /oldhome/oroussel/lib/libpthread.so.0 open syscall for file /lib/tls/libpthread.so.0 open syscall for file tls/i686/mmx/libc.so.6 open syscall for file tls/i686/libc.so.6 open syscall for file tls/mmx/libc.so.6 open syscall for file tls/libc.so.6 open syscall for file i686/mmx/libc.so.6 open syscall for file i686/libc.so.6 open syscall for file mmx/libc.so.6 open syscall for file libc.so.6 open syscall for file /oldhome/oroussel/lib/libc.so.6 open syscall for file /lib/tls/libc.so.6 open syscall for file tls/i686/mmx/libgcc_s.so.1 open syscall for file tls/i686/libgcc_s.so.1 open syscall for file tls/mmx/libgcc_s.so.1 open syscall for file tls/libgcc_s.so.1 open syscall for file i686/mmx/libgcc_s.so.1 open syscall for file i686/libgcc_s.so.1 open syscall for file mmx/libgcc_s.so.1 open syscall for file libgcc_s.so.1 open syscall for file /oldhome/oroussel/lib/libgcc_s.so.1 open syscall for file /lib/libgcc_s.so.1 open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /etc/localtime open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/.OptimizationSolutions/nodelock open syscall for file /oldhome/oroussel/tmp/wulflinc12/normalized-my_adder.opb [startup+10.0029 s] Raw data (loadavg): 0.93 0.98 0.93 2/56 10041 Raw data (/proc/10041/stat): 10041 (bsolo) R 10040 10041 8263 0 -1 0 1143 0 0 0 948 19 0 0 25 0 1 0 1781809479 7811072 1054 4294967295 134512640 134736556 3221224576 3221223036 134518240 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10041/statm): 1907 1054 1116 68 0 1839 0 [pid=10041] vsize: 7628 Current children cumulated CPU time (s) 9.67 Current children cumulated vsize (Kb) 7628 [startup+20.0038 s] Raw data (loadavg): 0.94 0.98 0.93 2/56 10041 Raw data (/proc/10041/stat): 10041 (bsolo) R 10040 10041 8263 0 -1 0 1143 0 0 0 1902 35 0 0 25 0 1 0 1781809479 7811072 1054 4294967295 134512640 134736556 3221224576 3221222884 1077378674 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10041/statm): 1907 1054 1116 68 0 1839 0 [pid=10041] vsize: 7628 Current children cumulated CPU time (s) 19.37 Current children cumulated vsize (Kb) 7628 [startup+30.0046 s] Raw data (loadavg): 0.95 0.98 0.93 2/56 10041 Raw data (/proc/10041/stat): 10041 (bsolo) R 10040 10041 8263 0 -1 0 3454 0 0 0 2845 57 0 0 25 0 1 0 1781809479 8421376 1311 4294967295 134512640 134736556 3221224576 3221220756 1075114948 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10041/statm): 2056 1311 1116 68 0 1988 0 [pid=10041] vsize: 8224 Current children cumulated CPU time (s) 29.02 Current children cumulated vsize (Kb) 8224 [startup+40.0055 s] Raw data (loadavg): 0.96 0.98 0.93 2/56 10041 Raw data (/proc/10041/stat): 10041 (bsolo) R 10040 10041 8263 0 -1 0 6956 0 0 0 3787 78 0 0 25 0 1 0 1781809479 8101888 1286 4294967295 134512640 134736556 3221224576 3221222488 1077380592 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10041/statm): 1978 1286 1116 68 0 1910 0 [pid=10041] vsize: 7912 Current children cumulated CPU time (s) 38.65 Current children cumulated vsize (Kb) 7912 One traced child (pid=10041) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 46.9479 CPU time (s): 45.2981 CPU user time (s): 44.3273 CPU system time (s): 0.970852 CPU usage (%): 96.486 Max. virtual memory (cumulated for all children) (Kb): 8224
Verifier: OK 4561