Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32b3.opb |
MD5SUM | 2998f4c8b2aa0ba71848641193ef2744 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 331 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 696 |
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 | 696 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 696 |
Number of bits of the biggest sum of numbers | 10 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 86.9458 |
Number of variables | 696 |
Total number of constraints | 6082 |
Number of constraints which are clauses | 6082 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 32 |
LAUNCH ON wulflinc21 THE 2005-09-18 08:26:04 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=142 boxname=wulflinc21 idbench=142 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 2998f4c8b2aa0ba71848641193ef2744 /oldhome/oroussel/tmp/wulflinc21/normalized-ii32b3.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc21/normalized-ii32b3.opb IDLAUNCH: 142 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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 : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.161 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: 938036 kB Buffers: 33388 kB Cached: 36016 kB SwapCached: 908 kB Active: 65808 kB Inactive: 6336 kB HighTotal: 131008 kB HighFree: 92456 kB LowTotal: 903652 kB LowFree: 845580 kB SwapTotal: 2097892 kB SwapFree: 2096472 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5804 kB Slab: 18984 kB Committed_AS: 64368 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 08:36:54 (client local time) WITH STATUS 30 IN 647.331 SECONDS stats: 142 0 647.331 30
c INFO: OSL Context initialized. c Initial problem consists of 696 variables and 6082 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 2.402 c After prepocess the problem consists of 696 variables and 6082 constraints. c Initial Lower Bound: 0 c Restart #1 #Var: 696 #Dec: 839 LB: 0 @ 7.278 c NEW SOLUTION FOUND: 348 @ 7.325 @ #Dec. 862 c NEW SOLUTION FOUND: 347 @ 7.329 @ #Dec. 864 c NEW SOLUTION FOUND: 346 @ 7.347 @ #Dec. 875 c NEW SOLUTION FOUND: 345 @ 7.388 @ #Dec. 900 c NEW SOLUTION FOUND: 344 @ 7.476 @ #Dec. 953 c NEW SOLUTION FOUND: 343 @ 7.54 @ #Dec. 1007 c NEW SOLUTION FOUND: 342 @ 7.576 @ #Dec. 1076 c NEW SOLUTION FOUND: 341 @ 7.602 @ #Dec. 1103 c NEW SOLUTION FOUND: 340 @ 7.609 @ #Dec. 1113 c NEW SOLUTION FOUND: 339 @ 7.616 @ #Dec. 1127 c NEW SOLUTION FOUND: 338 @ 7.624 @ #Dec. 1143 c NEW SOLUTION FOUND: 337 @ 7.633 @ #Dec. 1161 c NEW SOLUTION FOUND: 336 @ 7.64 @ #Dec. 1181 c NEW SOLUTION FOUND: 335 @ 7.647 @ #Dec. 1203 c NEW SOLUTION FOUND: 334 @ 7.655 @ #Dec. 1227 c NEW SOLUTION FOUND: 333 @ 7.702 @ #Dec. 1336 c NEW SOLUTION FOUND: 332 @ 7.762 @ #Dec. 1454 c NEW SOLUTION FOUND: 331 @ 8.021 @ #Dec. 1743 c Restart #2 #Var: 696 #Dec: 2533 LB: 0 @ 8.831 c Restart #3 #Var: 696 #Dec: 3626 LB: 0 @ 12.867 c Restart #4 #Var: 696 #Dec: 4704 LB: 0 @ 27.489 c Restart #5 #Var: 694 #Dec: 8261 LB: 1 @ 56.864 c CHANGE to MIS mode... UB: 331 MIS: 204 LPR: 250 (5.2336) Diff: 0.816 c Restart #0 #Var: 694 #Dec: 10217 LB: 1 @ 112.71 c Restart #1 #Var: 694 #Dec: 10452 LB: 205 @ 120.61 c Restart #2 #Var: 694 #Dec: 11795 LB: 204 @ 139.29 c Restart #3 #Var: 694 #Dec: 12740 LB: 225 @ 158.45 c Restart #4 #Var: 694 #Dec: 13797 LB: 210 @ 186.79 c Restart #5 #Var: 694 #Dec: 14898 LB: 199 @ 203.42 c Restart #6 #Var: 691 #Dec: 16853 LB: 217 @ 242.44 c Restart #7 #Var: 685 #Dec: 18561 LB: 206 @ 293.58 c Restart #8 #Var: 681 #Dec: 20526 LB: 211 @ 334.06 c Restart #9 #Var: 671 #Dec: 24491 LB: 219 @ 371.02 c Restart #10 #Var: 663 #Dec: 27834 LB: 218 @ 387.04 c Restart #11 #Var: 658 #Dec: 31973 LB: 229 @ 450.94 c Restart #12 #Var: 655 #Dec: 35339 LB: 217 @ 488.81 c Restart #13 #Var: 647 #Dec: 39439 LB: 220 @ 549.55 c Restart #14 #Var: 554 #Dec: 42480 LB: 246 @ 640.3 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 -x578 -x579 x580 -x581 x582 -x583 x584 x585 -x586 -x587 x588 -x589 x590 x591 -x592 -x593 x594 -x595 x596 x597 -x598 -x599 x600 -x601 x602 x603 -x604 -x605 x606 x607 -x608 -x609 x610 -x611 x612 x613 -x614 -x615 x616 -x617 x618 -x619 x620 x621 -x622 -x623 x624 -x625 x626 x627 -x628 -x629 x630 -x631 -x632 x633 -x634 -x635 x636 -x637 x638 x639 -x640 -x641 x642 x643 -x644 -x645 x646 -x647 x648 x649 -x650 -x651 x652 -x653 x654 x655 -x656 -x657 x658 -x659 x660 -x661 x662 x663 -x664 -x665 x666 x667 -x668 -x669 x670 -x671 x672 -x673 x674 x675 -x676 -x677 x678 -x679 x680 x681 -x682 -x683 x684 x685 -x686 -x687 x688 -x689 x690 -x691 x692 x693 -x694 -x695 x696 c Cost: 331 c Exit Code: 30 c Total time: 647.3 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/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 25 0 0 0 0 0 0 0 23 0 1 0 1717071562 438272 9 4294967295 134512640 134736556 3221224576 3221223936 1073813229 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 107 9 90 68 0 39 0 [pid=21134] 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/wulflinc21/normalized-ii32b3.opb [startup+10.0032 s] Raw data (loadavg): 0.93 0.95 0.90 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 1925 0 0 0 973 10 0 0 25 0 1 0 1717071562 10928128 1836 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 2668 1836 1116 68 0 2600 0 [pid=21134] vsize: 10672 Current children cumulated CPU time (s) 9.83 Current children cumulated vsize (Kb) 10672 [startup+20.0039 s] Raw data (loadavg): 0.94 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2090 0 0 0 1963 13 0 0 25 0 1 0 1717071562 11694080 2000 4294967295 134512640 134736556 3221224576 3221223168 134543782 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 2855 2000 1116 68 0 2787 0 [pid=21134] vsize: 11420 Current children cumulated CPU time (s) 19.76 Current children cumulated vsize (Kb) 11420 [startup+30.0036 s] Raw data (loadavg): 0.95 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2347 0 0 0 2954 17 0 0 25 0 1 0 1717071562 12640256 2257 4294967295 134512640 134736556 3221224576 3221223120 134543676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21134/statm): 3086 2257 1116 68 0 3018 0 [pid=21134] vsize: 12344 Current children cumulated CPU time (s) 29.71 Current children cumulated vsize (Kb) 12344 [startup+40.0042 s] Raw data (loadavg): 0.95 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2485 0 0 0 3945 20 0 0 25 0 1 0 1717071562 13180928 2395 4294967295 134512640 134736556 3221224576 3221223136 134544667 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 3218 2395 1116 68 0 3150 0 [pid=21134] vsize: 12872 Current children cumulated CPU time (s) 39.65 Current children cumulated vsize (Kb) 12872 [startup+50.0039 s] Raw data (loadavg): 0.96 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2610 0 0 0 4941 22 0 0 25 0 1 0 1717071562 13721600 2520 4294967295 134512640 134736556 3221224576 3221223220 134544543 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 3350 2520 1116 68 0 3282 0 [pid=21134] vsize: 13400 Current children cumulated CPU time (s) 49.63 Current children cumulated vsize (Kb) 13400 [startup+60.0046 s] Raw data (loadavg): 0.97 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2724 0 0 0 5936 24 0 0 25 0 1 0 1717071562 14262272 2634 4294967295 134512640 134736556 3221224576 3221223168 134540337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21134/statm): 3482 2634 1116 68 0 3414 0 [pid=21134] vsize: 13928 Current children cumulated CPU time (s) 59.6 Current children cumulated vsize (Kb) 13928 [startup+70.0053 s] Raw data (loadavg): 0.97 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 2937 0 0 0 6928 27 0 0 25 0 1 0 1717071562 15073280 2847 4294967295 134512640 134736556 3221224576 3221223108 134716275 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 3680 2847 1116 68 0 3612 0 [pid=21134] vsize: 14720 Current children cumulated CPU time (s) 69.55 Current children cumulated vsize (Kb) 14720 [startup+80.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 5713 0 0 0 7883 45 0 0 25 0 1 0 1717071562 18259968 3753 4294967295 134512640 134736556 3221224576 3221222224 1074918559 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4458 3753 1116 68 0 4390 0 [pid=21134] vsize: 17832 Current children cumulated CPU time (s) 79.28 Current children cumulated vsize (Kb) 17832 [startup+90.0047 s] Raw data (loadavg): 0.98 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 11726 0 0 0 8857 63 0 0 25 0 1 0 1717071562 21434368 4320 4294967295 134512640 134736556 3221224576 3221220108 1074788959 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21134/statm): 5233 4320 1116 68 0 5165 0 [pid=21134] vsize: 20932 Current children cumulated CPU time (s) 89.2 Current children cumulated vsize (Kb) 20932 [startup+100.004 s] Raw data (loadavg): 0.98 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 13830 0 0 0 9841 71 0 0 25 0 1 0 1717071562 21815296 4365 4294967295 134512640 134736556 3221224576 3221221288 1075007302 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5326 4365 1116 68 0 5258 0 [pid=21134] vsize: 21304 Current children cumulated CPU time (s) 99.12 Current children cumulated vsize (Kb) 21304 [startup+110.005 s] Raw data (loadavg): 0.98 0.96 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 17967 0 0 0 10807 90 0 0 25 0 1 0 1717071562 18591744 3767 4294967295 134512640 134736556 3221224576 3221221568 1074839039 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4539 3767 1116 68 0 4471 0 [pid=21134] vsize: 18156 Current children cumulated CPU time (s) 108.97 Current children cumulated vsize (Kb) 18156 [startup+120.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 11794 96 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0 [pid=21134] vsize: 18936 Current children cumulated CPU time (s) 118.9 Current children cumulated vsize (Kb) 18936 [startup+130.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 12789 98 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223224 134543310 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0 [pid=21134] vsize: 18936 Current children cumulated CPU time (s) 128.87 Current children cumulated vsize (Kb) 18936 [startup+140.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18971 0 0 0 13786 100 0 0 25 0 1 0 1717071562 19390464 3985 4294967295 134512640 134736556 3221224576 3221223268 134524331 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4734 3985 1116 68 0 4666 0 [pid=21134] vsize: 18936 Current children cumulated CPU time (s) 138.86 Current children cumulated vsize (Kb) 18936 [startup+150.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 18989 0 0 0 14782 101 0 0 25 0 1 0 1717071562 19390464 4003 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4734 4003 1116 68 0 4666 0 [pid=21134] vsize: 18936 Current children cumulated CPU time (s) 148.83 Current children cumulated vsize (Kb) 18936 [startup+160.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19106 0 0 0 15777 103 0 0 25 0 1 0 1717071562 19795968 4120 4294967295 134512640 134736556 3221224576 3221223152 134543184 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4833 4120 1116 68 0 4765 0 [pid=21134] vsize: 19332 Current children cumulated CPU time (s) 158.8 Current children cumulated vsize (Kb) 19332 [startup+170.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19221 0 0 0 16774 105 0 0 25 0 1 0 1717071562 20336640 4235 4294967295 134512640 134736556 3221224576 3221223088 134543071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 4965 4235 1116 68 0 4897 0 [pid=21134] vsize: 19860 Current children cumulated CPU time (s) 168.79 Current children cumulated vsize (Kb) 19860 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19327 0 0 0 17770 107 0 0 25 0 1 0 1717071562 20742144 4341 4294967295 134512640 134736556 3221224576 3221223248 134528714 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5064 4341 1116 68 0 4996 0 [pid=21134] vsize: 20256 Current children cumulated CPU time (s) 178.77 Current children cumulated vsize (Kb) 20256 [startup+190.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19468 0 0 0 18765 110 0 0 25 0 1 0 1717071562 21282816 4482 4294967295 134512640 134736556 3221224576 3221223088 134543143 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5196 4482 1116 68 0 5128 0 [pid=21134] vsize: 20784 Current children cumulated CPU time (s) 188.75 Current children cumulated vsize (Kb) 20784 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19799 0 0 0 19757 113 0 0 25 0 1 0 1717071562 22597632 4811 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5517 4811 1116 68 0 5449 0 [pid=21134] vsize: 22068 Current children cumulated CPU time (s) 198.7 Current children cumulated vsize (Kb) 22068 [startup+210.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19799 0 0 0 20755 114 0 0 25 0 1 0 1717071562 22597632 4811 4294967295 134512640 134736556 3221224576 3221223168 134540186 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5517 4811 1116 68 0 5449 0 [pid=21134] vsize: 22068 Current children cumulated CPU time (s) 208.69 Current children cumulated vsize (Kb) 22068 [startup+220.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19855 0 0 0 21751 115 0 0 25 0 1 0 1717071562 22867968 4867 4294967295 134512640 134736556 3221224576 3221223140 134544525 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5583 4867 1116 68 0 5515 0 [pid=21134] vsize: 22332 Current children cumulated CPU time (s) 218.66 Current children cumulated vsize (Kb) 22332 [startup+230.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 19926 0 0 0 22744 118 0 0 25 0 1 0 1717071562 23101440 4938 4294967295 134512640 134736556 3221224576 3221223248 134630055 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5640 4938 1116 68 0 5572 0 [pid=21134] vsize: 22560 Current children cumulated CPU time (s) 228.62 Current children cumulated vsize (Kb) 22560 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20013 0 0 0 23740 120 0 0 25 0 1 0 1717071562 23506944 5025 4294967295 134512640 134736556 3221224576 3221223248 134630513 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5739 5025 1116 68 0 5671 0 [pid=21134] vsize: 22956 Current children cumulated CPU time (s) 238.6 Current children cumulated vsize (Kb) 22956 [startup+250.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20108 0 0 0 24736 122 0 0 25 0 1 0 1717071562 23912448 5120 4294967295 134512640 134736556 3221224576 3221223224 134544456 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5838 5120 1116 68 0 5770 0 [pid=21134] vsize: 23352 Current children cumulated CPU time (s) 248.58 Current children cumulated vsize (Kb) 23352 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20245 0 0 0 25733 122 0 0 25 0 1 0 1717071562 24453120 5257 4294967295 134512640 134736556 3221224576 3221223120 134551043 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 5970 5257 1116 68 0 5902 0 [pid=21134] vsize: 23880 Current children cumulated CPU time (s) 258.55 Current children cumulated vsize (Kb) 23880 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20406 0 0 0 26730 125 0 0 25 0 1 0 1717071562 25190400 5418 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6150 5418 1116 68 0 6082 0 [pid=21134] vsize: 24600 Current children cumulated CPU time (s) 268.55 Current children cumulated vsize (Kb) 24600 [startup+280.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20532 0 0 0 27727 126 0 0 25 0 1 0 1717071562 25595904 5544 4294967295 134512640 134736556 3221224576 3221223224 134544048 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6249 5544 1116 68 0 6181 0 [pid=21134] vsize: 24996 Current children cumulated CPU time (s) 278.53 Current children cumulated vsize (Kb) 24996 [startup+290.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20665 0 0 0 28724 127 0 0 25 0 1 0 1717071562 26136576 5677 4294967295 134512640 134736556 3221224576 3221223136 134551165 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6381 5677 1116 68 0 6313 0 [pid=21134] vsize: 25524 Current children cumulated CPU time (s) 288.51 Current children cumulated vsize (Kb) 25524 [startup+300.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 20805 0 0 0 29721 129 0 0 25 0 1 0 1717071562 26812416 5817 4294967295 134512640 134736556 3221224576 3221223224 134544056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6546 5817 1116 68 0 6478 0 [pid=21134] vsize: 26184 Current children cumulated CPU time (s) 298.5 Current children cumulated vsize (Kb) 26184 [startup+310.007 s] Raw data (loadavg): 0.99 0.97 0.91 1/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 20916 0 0 0 30717 131 0 0 25 0 1 0 1717071562 27217920 5928 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6645 5928 1116 68 0 6577 0 [pid=21134] vsize: 26580 Current children cumulated CPU time (s) 308.48 Current children cumulated vsize (Kb) 26580 [startup+320.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21010 0 0 0 31714 132 0 0 25 0 1 0 1717071562 27623424 6022 4294967295 134512640 134736556 3221224576 3221223264 134536470 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6744 6022 1116 68 0 6676 0 [pid=21134] vsize: 26976 Current children cumulated CPU time (s) 318.46 Current children cumulated vsize (Kb) 26976 [startup+330.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21104 0 0 0 32711 134 0 0 25 0 1 0 1717071562 28028928 6116 4294967295 134512640 134736556 3221224576 3221223168 134540198 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 6843 6116 1116 68 0 6775 0 [pid=21134] vsize: 27372 Current children cumulated CPU time (s) 328.45 Current children cumulated vsize (Kb) 27372 [startup+340.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21302 0 0 0 33703 137 0 0 25 0 1 0 1717071562 28839936 6314 4294967295 134512640 134736556 3221224576 3221223200 134524547 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7041 6314 1116 68 0 6973 0 [pid=21134] vsize: 28164 Current children cumulated CPU time (s) 338.4 Current children cumulated vsize (Kb) 28164 [startup+350.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21302 0 0 0 34701 138 0 0 25 0 1 0 1717071562 28839936 6314 4294967295 134512640 134736556 3221224576 3221223152 134543071 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7041 6314 1116 68 0 6973 0 [pid=21134] vsize: 28164 Current children cumulated CPU time (s) 348.39 Current children cumulated vsize (Kb) 28164 [startup+360.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21389 0 0 0 35699 140 0 0 25 0 1 0 1717071562 29110272 6401 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7107 6401 1116 68 0 7039 0 [pid=21134] vsize: 28428 Current children cumulated CPU time (s) 358.39 Current children cumulated vsize (Kb) 28428 [startup+370.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21623 0 0 0 36684 145 0 0 25 0 1 0 1717071562 29814784 6577 4294967295 134512640 134736556 3221224576 3221223296 134529206 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/21134/statm): 7279 6577 1116 68 0 7211 0 [pid=21134] vsize: 29116 Current children cumulated CPU time (s) 368.29 Current children cumulated vsize (Kb) 29116 [startup+380.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21808 0 0 0 37676 148 0 0 25 0 1 0 1717071562 30576640 6762 4294967295 134512640 134736556 3221224576 3221223284 134544519 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7465 6762 1116 68 0 7397 0 [pid=21134] vsize: 29860 Current children cumulated CPU time (s) 378.24 Current children cumulated vsize (Kb) 29860 [startup+390.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21936 0 0 0 38659 155 0 0 25 0 1 0 1717071562 31088640 6873 4294967295 134512640 134736556 3221224576 3221223104 134716576 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7590 6873 1116 68 0 7522 0 [pid=21134] vsize: 30360 Current children cumulated CPU time (s) 388.14 Current children cumulated vsize (Kb) 30360 [startup+400.008 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21936 0 0 0 39657 156 0 0 25 0 1 0 1717071562 31088640 6873 4294967295 134512640 134736556 3221224576 3221223168 134551108 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7590 6873 1116 68 0 7522 0 [pid=21134] vsize: 30360 Current children cumulated CPU time (s) 398.13 Current children cumulated vsize (Kb) 30360 [startup+410.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 21999 0 0 0 40655 157 0 0 25 0 1 0 1717071562 31358976 6936 4294967295 134512640 134736556 3221224576 3221223184 134544716 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7656 6936 1116 68 0 7588 0 [pid=21134] vsize: 30624 Current children cumulated CPU time (s) 408.12 Current children cumulated vsize (Kb) 30624 [startup+420.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22206 0 0 0 41642 163 0 0 25 0 1 0 1717071562 32141312 7143 4294967295 134512640 134736556 3221224576 3221223200 134537350 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7847 7143 1116 68 0 7779 0 [pid=21134] vsize: 31388 Current children cumulated CPU time (s) 418.05 Current children cumulated vsize (Kb) 31388 [startup+430.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22326 0 0 0 42639 164 0 0 25 0 1 0 1717071562 32681984 7263 4294967295 134512640 134736556 3221224576 3221223224 134544625 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 7979 7263 1116 68 0 7911 0 [pid=21134] vsize: 31916 Current children cumulated CPU time (s) 428.03 Current children cumulated vsize (Kb) 31916 [startup+440.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 22502 0 0 0 43636 166 0 0 25 0 1 0 1717071562 33464320 7439 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8170 7439 1116 68 0 8102 0 [pid=21134] vsize: 32680 Current children cumulated CPU time (s) 438.02 Current children cumulated vsize (Kb) 32680 [startup+450.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22585 0 0 0 44634 167 0 0 25 0 1 0 1717071562 33525760 7476 4294967295 134512640 134736556 3221224576 3221223248 134528766 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8185 7476 1116 68 0 8117 0 [pid=21134] vsize: 32740 Current children cumulated CPU time (s) 448.01 Current children cumulated vsize (Kb) 32740 [startup+460.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22688 0 0 0 45631 168 0 0 25 0 1 0 1717071562 33927168 7579 4294967295 134512640 134736556 3221224576 3221223088 134543184 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8283 7579 1116 68 0 8215 0 [pid=21134] vsize: 33132 Current children cumulated CPU time (s) 457.99 Current children cumulated vsize (Kb) 33132 [startup+470.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 22914 0 0 0 46626 170 0 0 25 0 1 0 1717071562 34955264 7805 4294967295 134512640 134736556 3221224576 3221223136 134543128 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8534 7805 1116 68 0 8466 0 [pid=21134] vsize: 34136 Current children cumulated CPU time (s) 467.96 Current children cumulated vsize (Kb) 34136 [startup+480.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23026 0 0 0 47623 171 0 0 25 0 1 0 1717071562 35360768 7917 4294967295 134512640 134736556 3221224576 3221223248 134528681 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8633 7917 1116 68 0 8565 0 [pid=21134] vsize: 34532 Current children cumulated CPU time (s) 477.94 Current children cumulated vsize (Kb) 34532 [startup+490.01 s] Raw data (loadavg): 0.99 0.97 0.91 1/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 23223 0 0 0 48609 176 0 0 25 0 1 0 1717071562 36184064 8106 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8834 8106 1116 68 0 8766 0 [pid=21134] vsize: 35336 Current children cumulated CPU time (s) 487.85 Current children cumulated vsize (Kb) 35336 [startup+500.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23411 0 0 0 49596 181 0 0 25 0 1 0 1717071562 36753408 8244 4294967295 134512640 134736556 3221224576 3221223120 134540200 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8973 8244 1116 68 0 8905 0 [pid=21134] vsize: 35892 Current children cumulated CPU time (s) 497.77 Current children cumulated vsize (Kb) 35892 [startup+510.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23411 0 0 0 50591 183 0 0 25 0 1 0 1717071562 36745216 8244 4294967295 134512640 134736556 3221224576 3221223248 134528723 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 8971 8244 1116 68 0 8903 0 [pid=21134] vsize: 35884 Current children cumulated CPU time (s) 507.74 Current children cumulated vsize (Kb) 35884 [startup+520.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23458 0 0 0 51589 184 0 0 25 0 1 0 1717071562 36880384 8291 4294967295 134512640 134736556 3221224576 3221223168 134544578 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9004 8291 1116 68 0 8936 0 [pid=21134] vsize: 36016 Current children cumulated CPU time (s) 517.73 Current children cumulated vsize (Kb) 36016 [startup+530.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) T 21133 21134 20602 0 -1 0 23678 0 0 0 52586 186 0 0 25 0 1 0 1717071562 37699584 8477 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9204 8477 1116 68 0 9136 0 [pid=21134] vsize: 36816 Current children cumulated CPU time (s) 527.72 Current children cumulated vsize (Kb) 36816 [startup+540.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23790 0 0 0 53584 186 0 0 25 0 1 0 1717071562 38105088 8589 4294967295 134512640 134736556 3221224576 3221223204 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9303 8589 1116 68 0 9235 0 [pid=21134] vsize: 37212 Current children cumulated CPU time (s) 537.7 Current children cumulated vsize (Kb) 37212 [startup+550.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 23922 0 0 0 54582 187 0 0 25 0 1 0 1717071562 38645760 8721 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9435 8721 1116 68 0 9367 0 [pid=21134] vsize: 37740 Current children cumulated CPU time (s) 547.69 Current children cumulated vsize (Kb) 37740 [startup+560.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24151 0 0 0 55577 190 0 0 25 0 1 0 1717071562 39587840 8950 4294967295 134512640 134736556 3221224576 3221223236 134630178 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9665 8950 1116 68 0 9597 0 [pid=21134] vsize: 38660 Current children cumulated CPU time (s) 557.67 Current children cumulated vsize (Kb) 38660 [startup+570.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24186 0 0 0 56574 191 0 0 25 0 1 0 1717071562 39723008 8985 4294967295 134512640 134736556 3221224576 3221223136 134544667 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9698 8985 1116 68 0 9630 0 [pid=21134] vsize: 38792 Current children cumulated CPU time (s) 567.65 Current children cumulated vsize (Kb) 38792 [startup+580.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24354 0 0 0 57572 193 0 0 25 0 1 0 1717071562 40398848 9153 4294967295 134512640 134736556 3221224576 3221223140 134544527 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 9863 9153 1116 68 0 9795 0 [pid=21134] vsize: 39452 Current children cumulated CPU time (s) 577.65 Current children cumulated vsize (Kb) 39452 [startup+590.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24594 0 0 0 58565 196 0 0 25 0 1 0 1717071562 41426944 9393 4294967295 134512640 134736556 3221224576 3221223152 134543187 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10114 9393 1116 68 0 10046 0 [pid=21134] vsize: 40456 Current children cumulated CPU time (s) 587.61 Current children cumulated vsize (Kb) 40456 [startup+600.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24594 0 0 0 59563 197 0 0 25 0 1 0 1717071562 41426944 9393 4294967295 134512640 134736556 3221224576 3221223240 134554101 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10114 9393 1116 68 0 10046 0 [pid=21134] vsize: 40456 Current children cumulated CPU time (s) 597.6 Current children cumulated vsize (Kb) 40456 [startup+610.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24689 0 0 0 60561 198 0 0 25 0 1 0 1717071562 41832448 9488 4294967295 134512640 134736556 3221224576 3221223152 134543977 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10213 9488 1116 68 0 10145 0 [pid=21134] vsize: 40852 Current children cumulated CPU time (s) 607.59 Current children cumulated vsize (Kb) 40852 [startup+620.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24827 0 0 0 61558 200 0 0 25 0 1 0 1717071562 42373120 9626 4294967295 134512640 134736556 3221224576 3221223100 134540061 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10345 9626 1116 68 0 10277 0 [pid=21134] vsize: 41380 Current children cumulated CPU time (s) 617.58 Current children cumulated vsize (Kb) 41380 [startup+630.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 24965 0 0 0 62555 201 0 0 25 0 1 0 1717071562 42913792 9764 4294967295 134512640 134736556 3221224576 3221223272 134537629 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10477 9764 1116 68 0 10409 0 [pid=21134] vsize: 41908 Current children cumulated CPU time (s) 627.56 Current children cumulated vsize (Kb) 41908 [startup+640.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/57 21134 Raw data (/proc/21134/stat): 21134 (bsolo) R 21133 21134 20602 0 -1 0 25113 0 0 0 63552 203 0 0 25 0 1 0 1717071562 43589632 9912 4294967295 134512640 134736556 3221224576 3221223224 134560217 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/21134/statm): 10642 9912 1116 68 0 10574 0 [pid=21134] vsize: 42568 Current children cumulated CPU time (s) 637.55 Current children cumulated vsize (Kb) 42568 One traced child (pid=21134) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 649.794 CPU time (s): 647.331 CPU user time (s): 645.264 CPU system time (s): 2.06669 CPU usage (%): 99.6209 Max. virtual memory (cumulated for all children) (Kb): 42568
Verifier: OK 331