Name | submitted/manquinho/primes-dimacs-cnf/normalized-ii32a1.opb |
MD5SUM | eb47f4c49e66c2bccec3237bb66dd1b2 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 444 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 918 |
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 | 918 |
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 | 918 |
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 | 9.38057 |
Number of variables | 918 |
Total number of constraints | 9671 |
Number of constraints which are clauses | 9671 |
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 wulflinc2 THE 2005-09-18 09:00:38 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=221 boxname=wulflinc2 idbench=221 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: eb47f4c49e66c2bccec3237bb66dd1b2 /oldhome/oroussel/tmp/wulflinc2/normalized-ii32a1.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc2/normalized-ii32a1.opb IDLAUNCH: 221 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.191 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.191 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: 955000 kB Buffers: 33620 kB Cached: 22460 kB SwapCached: 1040 kB Active: 52268 kB Inactive: 6444 kB HighTotal: 131008 kB HighFree: 107436 kB LowTotal: 903652 kB LowFree: 847564 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5696 kB Slab: 15384 kB Committed_AS: 72360 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 09:10:01 (client local time) WITH STATUS 30 IN 560.404 SECONDS stats: 221 0 560.404 30
c INFO: OSL Context initialized. c Initial problem consists of 918 variables and 9671 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 2.523 c After prepocess the problem consists of 918 variables and 9671 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 459 @ 2.656 @ #Dec. 20 c NEW SOLUTION FOUND: 458 @ 2.661 @ #Dec. 22 c NEW SOLUTION FOUND: 457 @ 2.683 @ #Dec. 32 c NEW SOLUTION FOUND: 456 @ 2.755 @ #Dec. 64 c NEW SOLUTION FOUND: 455 @ 2.898 @ #Dec. 129 c NEW SOLUTION FOUND: 454 @ 2.987 @ #Dec. 171 c NEW SOLUTION FOUND: 453 @ 3.062 @ #Dec. 212 c NEW SOLUTION FOUND: 452 @ 3.208 @ #Dec. 295 c NEW SOLUTION FOUND: 451 @ 3.491 @ #Dec. 473 c NEW SOLUTION FOUND: 450 @ 3.918 @ #Dec. 772 c Restart #1 #Var: 918 #Dec: 1092 LB: 0 @ 4.429 c Restart #2 #Var: 918 #Dec: 1754 LB: 0 @ 11.408 c Restart #3 #Var: 916 #Dec: 4705 LB: 1 @ 28.876 c Restart #4 #Var: 916 #Dec: 6894 LB: 1 @ 49.734 c CHANGE to MIS mode... UB: 450 MIS: 253 LPR: 290 (31.846) Diff: 0.87241 c Restart #0 #Var: 912 #Dec: 8342 LB: 3 @ 108.18 c Restart #1 #Var: 912 #Dec: 8662 LB: 254 @ 118.21 c NEW SOLUTION FOUND: 449 @ 132.82 @ #Dec. 9118 c NEW SOLUTION FOUND: 448 @ 132.85 @ #Dec. 9131 c NEW SOLUTION FOUND: 447 @ 132.87 @ #Dec. 9147 c NEW SOLUTION FOUND: 446 @ 132.89 @ #Dec. 9167 c NEW SOLUTION FOUND: 445 @ 132.92 @ #Dec. 9181 c NEW SOLUTION FOUND: 444 @ 132.95 @ #Dec. 9196 c Restart #2 #Var: 911 #Dec: 9698 LB: 261 @ 150.85 c Restart #3 #Var: 909 #Dec: 10497 LB: 264 @ 177.14 c Restart #4 #Var: 907 #Dec: 11516 LB: 265 @ 212.08 c Restart #5 #Var: 904 #Dec: 12725 LB: 251 @ 256.46 c Restart #6 #Var: 901 #Dec: 14144 LB: 257 @ 303.3 c Restart #7 #Var: 889 #Dec: 15630 LB: 270 @ 368.19 c Restart #8 #Var: 873 #Dec: 17333 LB: 263 @ 445.28 c Restart #9 #Var: 821 #Dec: 19252 LB: 274 @ 537.22 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 x697 -x698 -x699 x700 -x701 x702 x703 -x704 -x705 x706 -x707 x708 -x709 x710 x711 -x712 -x713 x714 -x715 x716 -x717 x718 x719 -x720 x721 -x722 -x723 x724 -x725 x726 -x727 x728 x729 -x730 -x731 x732 -x733 x734 x735 -x736 -x737 x738 x739 -x740 -x741 x742 -x743 x744 x745 -x746 -x747 x748 -x749 x750 -x751 x752 -x753 x754 x755 -x756 -x757 x758 x759 -x760 -x761 x762 x763 -x764 -x765 x766 -x767 x768 x769 -x770 -x771 x772 -x773 x774 -x775 x776 x777 -x778 -x779 x780 x781 -x782 -x783 -x784 -x785 x786 x787 -x788 -x789 x790 -x791 x792 -x793 -x794 -x795 x796 x797 -x798 -x799 x800 -x801 x802 x803 -x804 -x805 x806 x807 -x808 -x809 x810 x811 -x812 -x813 x814 -x815 x816 -x817 x818 -x819 x820 x821 -x822 -x823 x824 -x825 x826 x827 -x828 x829 -x830 -x831 -x832 -x833 x834 -x835 x836 -x837 x838 x839 -x840 x841 -x842 -x843 x844 -x845 x846 x847 -x848 -x849 x850 -x851 x852 -x853 x854 -x855 x856 x857 -x858 -x859 x860 -x861 x862 x863 -x864 -x865 x866 -x867 x868 x869 -x870 x871 -x872 -x873 x874 -x875 x876 x877 -x878 -x879 x880 -x881 -x882 -x883 x884 -x885 x886 x887 -x888 -x889 -x890 x891 -x892 -x893 x894 -x895 x896 -x897 x898 x899 -x900 x901 -x902 -x903 x904 -x905 x906 x907 -x908 -x909 x910 -x911 x912 -x913 x914 -x915 x916 x917 -x918 c Cost: 444 c Exit Code: 30 c Total time: 560.38 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/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1781793831 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/7588/statm): 107 3 90 68 0 39 0 [pid=7588] 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/wulflinc2/normalized-ii32a1.opb [startup+10.0038 s] Raw data (loadavg): 0.93 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 2272 0 0 0 976 11 0 0 25 0 1 0 1781793831 12337152 2183 4294967295 134512640 134736556 3221224576 3221223136 134543591 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 3012 2183 1116 68 0 2944 0 [pid=7588] vsize: 12048 Current children cumulated CPU time (s) 9.87 Current children cumulated vsize (Kb) 12048 [startup+20.0046 s] Raw data (loadavg): 0.94 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 2388 0 0 0 1965 14 0 0 25 0 1 0 1781793831 12877824 2299 4294967295 134512640 134736556 3221224576 3221223052 134536617 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7588/statm): 3144 2299 1116 68 0 3076 0 [pid=7588] vsize: 12576 Current children cumulated CPU time (s) 19.79 Current children cumulated vsize (Kb) 12576 [startup+30.0053 s] Raw data (loadavg): 0.95 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 2510 0 0 0 2956 17 0 0 25 0 1 0 1781793831 13418496 2421 4294967295 134512640 134736556 3221224576 3221223088 134543184 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/7588/statm): 3276 2421 1116 68 0 3208 0 [pid=7588] vsize: 13104 Current children cumulated CPU time (s) 29.73 Current children cumulated vsize (Kb) 13104 [startup+40.006 s] Raw data (loadavg): 0.96 0.98 0.92 1/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) T 7587 7588 6872 0 -1 0 2633 0 0 0 3950 19 0 0 25 0 1 0 1781793831 13824000 2544 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7588/statm): 3375 2544 1116 68 0 3307 0 [pid=7588] vsize: 13500 Current children cumulated CPU time (s) 39.69 Current children cumulated vsize (Kb) 13500 [startup+50.0066 s] Raw data (loadavg): 0.96 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 2817 0 0 0 4943 23 0 0 25 0 1 0 1781793831 14635008 2728 4294967295 134512640 134736556 3221224576 3221223152 134523823 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 3573 2728 1116 68 0 3505 0 [pid=7588] vsize: 14292 Current children cumulated CPU time (s) 49.66 Current children cumulated vsize (Kb) 14292 [startup+60.0064 s] Raw data (loadavg): 0.97 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 3010 0 0 0 5938 25 0 0 25 0 1 0 1781793831 15446016 2921 4294967295 134512640 134736556 3221224576 3221223116 134540067 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 3771 2921 1116 68 0 3703 0 [pid=7588] vsize: 15084 Current children cumulated CPU time (s) 59.63 Current children cumulated vsize (Kb) 15084 [startup+70.0071 s] Raw data (loadavg): 0.97 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 3197 0 0 0 6933 28 0 0 25 0 1 0 1781793831 16121856 3108 4294967295 134512640 134736556 3221224576 3221222708 134717260 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 3936 3108 1116 68 0 3868 0 [pid=7588] vsize: 15744 Current children cumulated CPU time (s) 69.61 Current children cumulated vsize (Kb) 15744 [startup+80.0078 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 3687 0 0 0 7919 34 0 0 25 0 1 0 1781793831 18255872 3598 4294967295 134512640 134736556 3221224576 3221222608 1074153786 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 4457 3598 1116 68 0 4389 0 [pid=7588] vsize: 17828 Current children cumulated CPU time (s) 79.53 Current children cumulated vsize (Kb) 17828 [startup+90.0075 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 5288 0 0 0 8880 46 0 0 25 0 1 0 1781793831 25481216 4811 4294967295 134512640 134736556 3221224576 3221220752 1075119993 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6221 4811 1116 68 0 6153 0 [pid=7588] vsize: 24884 Current children cumulated CPU time (s) 89.26 Current children cumulated vsize (Kb) 24884 [startup+100.007 s] Raw data (loadavg): 0.98 0.98 0.92 1/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) T 7587 7588 6872 0 -1 0 7226 0 0 0 9873 52 0 0 25 0 1 0 1781793831 20615168 4278 4294967295 134512640 134736556 3221224576 3221222476 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5033 4278 1116 68 0 4965 0 [pid=7588] vsize: 20132 Current children cumulated CPU time (s) 99.25 Current children cumulated vsize (Kb) 20132 [startup+110.008 s] Raw data (loadavg): 0.98 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7241 0 0 0 10849 61 0 0 25 0 1 0 1781793831 20615168 4293 4294967295 134512640 134736556 3221224576 3221223228 134544444 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5033 4293 1116 68 0 4965 0 [pid=7588] vsize: 20132 Current children cumulated CPU time (s) 109.1 Current children cumulated vsize (Kb) 20132 [startup+120.009 s] Raw data (loadavg): 0.99 0.98 0.92 3/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7277 0 0 0 11846 62 0 0 25 0 1 0 1781793831 20750336 4329 4294967295 134512640 134736556 3221224576 3221223168 134543950 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5066 4329 1116 68 0 4998 0 [pid=7588] vsize: 20264 Current children cumulated CPU time (s) 119.08 Current children cumulated vsize (Kb) 20264 [startup+130.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7360 0 0 0 12844 64 0 0 25 0 1 0 1781793831 21020672 4412 4294967295 134512640 134736556 3221224576 3221223120 134543700 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5132 4412 1116 68 0 5064 0 [pid=7588] vsize: 20528 Current children cumulated CPU time (s) 129.08 Current children cumulated vsize (Kb) 20528 [startup+140.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7509 0 0 0 13840 65 0 0 25 0 1 0 1781793831 21696512 4561 4294967295 134512640 134736556 3221224576 3221223248 134630411 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5297 4561 1116 68 0 5229 0 [pid=7588] vsize: 21188 Current children cumulated CPU time (s) 139.05 Current children cumulated vsize (Kb) 21188 [startup+150.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7583 0 0 0 14837 66 0 0 25 0 1 0 1781793831 21929984 4635 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5354 4635 1116 68 0 5286 0 [pid=7588] vsize: 21416 Current children cumulated CPU time (s) 149.03 Current children cumulated vsize (Kb) 21416 [startup+160.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7713 0 0 0 15834 67 0 0 25 0 1 0 1781793831 22470656 4765 4294967295 134512640 134736556 3221224576 3221223120 134543659 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5486 4765 1116 68 0 5418 0 [pid=7588] vsize: 21944 Current children cumulated CPU time (s) 159.01 Current children cumulated vsize (Kb) 21944 [startup+170.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7808 0 0 0 16830 69 0 0 25 0 1 0 1781793831 22876160 4860 4294967295 134512640 134736556 3221224576 3221223248 134630052 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5585 4860 1116 68 0 5517 0 [pid=7588] vsize: 22340 Current children cumulated CPU time (s) 168.99 Current children cumulated vsize (Kb) 22340 [startup+180.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 7894 0 0 0 17827 70 0 0 25 0 1 0 1781793831 23281664 4946 4294967295 134512640 134736556 3221224576 3221223132 134537568 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5684 4946 1116 68 0 5616 0 [pid=7588] vsize: 22736 Current children cumulated CPU time (s) 178.97 Current children cumulated vsize (Kb) 22736 [startup+190.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8005 0 0 0 18826 71 0 0 25 0 1 0 1781793831 23687168 5057 4294967295 134512640 134736556 3221224576 3221223124 134544525 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5783 5057 1116 68 0 5715 0 [pid=7588] vsize: 23132 Current children cumulated CPU time (s) 188.97 Current children cumulated vsize (Kb) 23132 [startup+200.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8141 0 0 0 19822 73 0 0 25 0 1 0 1781793831 24227840 5193 4294967295 134512640 134736556 3221224576 3221223252 134536476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 5915 5193 1116 68 0 5847 0 [pid=7588] vsize: 23660 Current children cumulated CPU time (s) 198.95 Current children cumulated vsize (Kb) 23660 [startup+210.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8253 0 0 0 20818 75 0 0 25 0 1 0 1781793831 24768512 5305 4294967295 134512640 134736556 3221224576 3221223248 134629957 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6047 5305 1116 68 0 5979 0 [pid=7588] vsize: 24188 Current children cumulated CPU time (s) 208.93 Current children cumulated vsize (Kb) 24188 [startup+220.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8370 0 0 0 21814 76 0 0 25 0 1 0 1781793831 25174016 5422 4294967295 134512640 134736556 3221224576 3221223084 134540059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6146 5422 1116 68 0 6078 0 [pid=7588] vsize: 24584 Current children cumulated CPU time (s) 218.9 Current children cumulated vsize (Kb) 24584 [startup+230.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8478 0 0 0 22812 78 0 0 25 0 1 0 1781793831 25579520 5530 4294967295 134512640 134736556 3221224576 3221223248 134630222 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6245 5530 1116 68 0 6177 0 [pid=7588] vsize: 24980 Current children cumulated CPU time (s) 228.9 Current children cumulated vsize (Kb) 24980 [startup+240.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8599 0 0 0 23808 79 0 0 25 0 1 0 1781793831 26120192 5651 4294967295 134512640 134736556 3221224576 3221223188 134537369 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6377 5651 1116 68 0 6309 0 [pid=7588] vsize: 25508 Current children cumulated CPU time (s) 238.87 Current children cumulated vsize (Kb) 25508 [startup+250.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8686 0 0 0 24805 80 0 0 25 0 1 0 1781793831 26525696 5738 4294967295 134512640 134736556 3221224576 3221223244 134543708 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6476 5738 1116 68 0 6408 0 [pid=7588] vsize: 25904 Current children cumulated CPU time (s) 248.85 Current children cumulated vsize (Kb) 25904 [startup+260.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8792 0 0 0 25802 82 0 0 25 0 1 0 1781793831 26931200 5844 4294967295 134512640 134736556 3221224576 3221223224 134544024 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6575 5844 1116 68 0 6507 0 [pid=7588] vsize: 26300 Current children cumulated CPU time (s) 258.84 Current children cumulated vsize (Kb) 26300 [startup+270.016 s] Raw data (loadavg): 0.99 0.98 0.92 3/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 8930 0 0 0 26799 83 0 0 25 0 1 0 1781793831 27471872 5982 4294967295 134512640 134736556 3221224576 3221223132 134537537 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6707 5982 1116 68 0 6639 0 [pid=7588] vsize: 26828 Current children cumulated CPU time (s) 268.82 Current children cumulated vsize (Kb) 26828 [startup+280.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9030 0 0 0 27796 85 0 0 25 0 1 0 1781793831 27877376 6082 4294967295 134512640 134736556 3221224576 3221223224 134543300 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6806 6082 1116 68 0 6738 0 [pid=7588] vsize: 27224 Current children cumulated CPU time (s) 278.81 Current children cumulated vsize (Kb) 27224 [startup+290.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9141 0 0 0 28792 88 0 0 25 0 1 0 1781793831 28418048 6193 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 6938 6193 1116 68 0 6870 0 [pid=7588] vsize: 27752 Current children cumulated CPU time (s) 288.8 Current children cumulated vsize (Kb) 27752 [startup+300.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9239 0 0 0 29788 90 0 0 25 0 1 0 1781793831 28823552 6291 4294967295 134512640 134736556 3221224576 3221223100 134540059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7037 6291 1116 68 0 6969 0 [pid=7588] vsize: 28148 Current children cumulated CPU time (s) 298.78 Current children cumulated vsize (Kb) 28148 [startup+310.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9373 0 0 0 30786 92 0 0 25 0 1 0 1781793831 29364224 6425 4294967295 134512640 134736556 3221224576 3221223120 134543676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7169 6425 1116 68 0 7101 0 [pid=7588] vsize: 28676 Current children cumulated CPU time (s) 308.78 Current children cumulated vsize (Kb) 28676 [startup+320.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9498 0 0 0 31783 93 0 0 25 0 1 0 1781793831 29769728 6550 4294967295 134512640 134736556 3221224576 3221223224 134544034 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7268 6550 1116 68 0 7200 0 [pid=7588] vsize: 29072 Current children cumulated CPU time (s) 318.76 Current children cumulated vsize (Kb) 29072 [startup+330.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9644 0 0 0 32781 93 0 0 25 0 1 0 1781793831 30445568 6696 4294967295 134512640 134736556 3221224576 3221223236 134630068 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7433 6696 1116 68 0 7365 0 [pid=7588] vsize: 29732 Current children cumulated CPU time (s) 328.74 Current children cumulated vsize (Kb) 29732 [startup+340.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9751 0 0 0 33779 95 0 0 25 0 1 0 1781793831 30851072 6803 4294967295 134512640 134736556 3221224576 3221223200 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7532 6803 1116 68 0 7464 0 [pid=7588] vsize: 30128 Current children cumulated CPU time (s) 338.74 Current children cumulated vsize (Kb) 30128 [startup+350.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9878 0 0 0 34776 96 0 0 25 0 1 0 1781793831 31391744 6930 4294967295 134512640 134736556 3221224576 3221223244 134544624 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7664 6930 1116 68 0 7596 0 [pid=7588] vsize: 30656 Current children cumulated CPU time (s) 348.72 Current children cumulated vsize (Kb) 30656 [startup+360.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 9997 0 0 0 35774 97 0 0 25 0 1 0 1781793831 31797248 7049 4294967295 134512640 134736556 3221224576 3221223168 134540198 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7763 7049 1116 68 0 7695 0 [pid=7588] vsize: 31052 Current children cumulated CPU time (s) 358.71 Current children cumulated vsize (Kb) 31052 [startup+370.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10097 0 0 0 36771 99 0 0 25 0 1 0 1781793831 32337920 7149 4294967295 134512640 134736556 3221224576 3221223168 134543998 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7895 7149 1116 68 0 7827 0 [pid=7588] vsize: 31580 Current children cumulated CPU time (s) 368.7 Current children cumulated vsize (Kb) 31580 [startup+380.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10189 0 0 0 37769 100 0 0 25 0 1 0 1781793831 32608256 7241 4294967295 134512640 134736556 3221224576 3221223100 134536384 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 7961 7241 1116 68 0 7893 0 [pid=7588] vsize: 31844 Current children cumulated CPU time (s) 378.69 Current children cumulated vsize (Kb) 31844 [startup+390.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10302 0 0 0 38766 101 0 0 25 0 1 0 1781793831 33148928 7354 4294967295 134512640 134736556 3221224576 3221223248 134630455 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8093 7354 1116 68 0 8025 0 [pid=7588] vsize: 32372 Current children cumulated CPU time (s) 388.67 Current children cumulated vsize (Kb) 32372 [startup+400.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10399 0 0 0 39764 102 0 0 25 0 1 0 1781793831 33554432 7451 4294967295 134512640 134736556 3221224576 3221223188 134544525 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8192 7451 1116 68 0 8124 0 [pid=7588] vsize: 32768 Current children cumulated CPU time (s) 398.66 Current children cumulated vsize (Kb) 32768 [startup+410.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10514 0 0 0 40762 104 0 0 25 0 1 0 1781793831 33959936 7566 4294967295 134512640 134736556 3221224576 3221223136 134543554 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8291 7566 1116 68 0 8223 0 [pid=7588] vsize: 33164 Current children cumulated CPU time (s) 408.66 Current children cumulated vsize (Kb) 33164 [startup+420.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10624 0 0 0 41760 105 0 0 25 0 1 0 1781793831 34365440 7676 4294967295 134512640 134736556 3221224576 3221223124 134551038 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8390 7676 1116 68 0 8322 0 [pid=7588] vsize: 33560 Current children cumulated CPU time (s) 418.65 Current children cumulated vsize (Kb) 33560 [startup+430.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10710 0 0 0 42758 105 0 0 25 0 1 0 1781793831 34770944 7762 4294967295 134512640 134736556 3221224576 3221223100 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8489 7762 1116 68 0 8421 0 [pid=7588] vsize: 33956 Current children cumulated CPU time (s) 428.63 Current children cumulated vsize (Kb) 33956 [startup+440.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10819 0 0 0 43755 107 0 0 25 0 1 0 1781793831 35176448 7871 4294967295 134512640 134736556 3221224576 3221223136 134544670 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8588 7871 1116 68 0 8520 0 [pid=7588] vsize: 34352 Current children cumulated CPU time (s) 438.62 Current children cumulated vsize (Kb) 34352 [startup+450.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 10912 0 0 0 44752 108 0 0 25 0 1 0 1781793831 35581952 7964 4294967295 134512640 134736556 3221224576 3221223052 134536676 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8687 7964 1116 68 0 8619 0 [pid=7588] vsize: 34748 Current children cumulated CPU time (s) 448.6 Current children cumulated vsize (Kb) 34748 [startup+460.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11004 0 0 0 45749 110 0 0 25 0 1 0 1781793831 35987456 8056 4294967295 134512640 134736556 3221224576 3221223044 134536046 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8786 8056 1116 68 0 8718 0 [pid=7588] vsize: 35144 Current children cumulated CPU time (s) 458.59 Current children cumulated vsize (Kb) 35144 [startup+470.023 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11104 0 0 0 46748 111 0 0 25 0 1 0 1781793831 36392960 8156 4294967295 134512640 134736556 3221224576 3221223224 134544048 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8885 8156 1116 68 0 8817 0 [pid=7588] vsize: 35540 Current children cumulated CPU time (s) 468.59 Current children cumulated vsize (Kb) 35540 [startup+480.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11194 0 0 0 47746 112 0 0 25 0 1 0 1781793831 36798464 8246 4294967295 134512640 134736556 3221224576 3221223124 134544519 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 8984 8246 1116 68 0 8916 0 [pid=7588] vsize: 35936 Current children cumulated CPU time (s) 478.58 Current children cumulated vsize (Kb) 35936 [startup+490.024 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11288 0 0 0 48744 113 0 0 25 0 1 0 1781793831 37203968 8340 4294967295 134512640 134736556 3221224576 3221223216 134543827 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9083 8340 1116 68 0 9015 0 [pid=7588] vsize: 36332 Current children cumulated CPU time (s) 488.57 Current children cumulated vsize (Kb) 36332 [startup+500.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11394 0 0 0 49742 114 0 0 25 0 1 0 1781793831 37609472 8446 4294967295 134512640 134736556 3221224576 3221223216 134523635 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9182 8446 1116 68 0 9114 0 [pid=7588] vsize: 36728 Current children cumulated CPU time (s) 498.56 Current children cumulated vsize (Kb) 36728 [startup+510.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11498 0 0 0 50740 115 0 0 25 0 1 0 1781793831 38014976 8550 4294967295 134512640 134736556 3221224576 3221223152 134716087 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9281 8550 1116 68 0 9213 0 [pid=7588] vsize: 37124 Current children cumulated CPU time (s) 508.55 Current children cumulated vsize (Kb) 37124 [startup+520.025 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11593 0 0 0 51738 116 0 0 25 0 1 0 1781793831 38420480 8645 4294967295 134512640 134736556 3221224576 3221223168 134540337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9380 8645 1116 68 0 9312 0 [pid=7588] vsize: 37520 Current children cumulated CPU time (s) 518.54 Current children cumulated vsize (Kb) 37520 [startup+530.026 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11699 0 0 0 52734 117 0 0 25 0 1 0 1781793831 38825984 8751 4294967295 134512640 134736556 3221224576 3221223084 134540059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9479 8751 1116 68 0 9411 0 [pid=7588] vsize: 37916 Current children cumulated CPU time (s) 528.51 Current children cumulated vsize (Kb) 37916 [startup+540.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11776 0 0 0 53732 118 0 0 25 0 1 0 1781793831 39096320 8828 4294967295 134512640 134736556 3221224576 3221223164 134543536 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9545 8828 1116 68 0 9477 0 [pid=7588] vsize: 38180 Current children cumulated CPU time (s) 538.5 Current children cumulated vsize (Kb) 38180 [startup+550.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11873 0 0 0 54729 119 0 0 25 0 1 0 1781793831 39501824 8925 4294967295 134512640 134736556 3221224576 3221223168 134540337 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9644 8925 1116 68 0 9576 0 [pid=7588] vsize: 38576 Current children cumulated CPU time (s) 548.48 Current children cumulated vsize (Kb) 38576 [startup+560.027 s] Raw data (loadavg): 0.99 0.98 0.92 2/56 7588 Raw data (/proc/7588/stat): 7588 (bsolo) R 7587 7588 6872 0 -1 0 11981 0 0 0 55727 119 0 0 25 0 1 0 1781793831 40042496 9033 4294967295 134512640 134736556 3221224576 3221223084 134540059 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/7588/statm): 9776 9033 1116 68 0 9708 0 [pid=7588] vsize: 39104 Current children cumulated CPU time (s) 558.46 Current children cumulated vsize (Kb) 39104 One traced child (pid=7588) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 561.966 CPU time (s): 560.404 CPU user time (s): 559.188 CPU system time (s): 1.21581 CPU usage (%): 99.7221 Max. virtual memory (cumulated for all children) (Kb): 39104
Verifier: OK 444