Name | submitted/een/normalized-p0201.opb |
MD5SUM | ff4eb45c2603a47e5b79b2649e926ba4 |
Bench Category | optimization, small integers (OPTSMALLINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1523 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 201 |
Biggest coefficient in the objective function | 1920 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 19980 |
Number of bits of the sum of numbers in the objective function | 15 |
Biggest number in a constraint | 1920 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 19980 |
Number of bits of the biggest sum of numbers | 15 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 221.9 |
Number of variables | 195 |
Total number of constraints | 133 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 26 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 3 |
Maximum length of a constraint | 65 |
LAUNCH ON wulflinc9 THE 2005-09-18 09:19:37 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=281 boxname=wulflinc9 idbench=281 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: ff4eb45c2603a47e5b79b2649e926ba4 /oldhome/oroussel/tmp/wulflinc9/normalized-p0201.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc9/normalized-p0201.opb IDLAUNCH: 281 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.242 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.242 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: 950792 kB Buffers: 33368 kB Cached: 24748 kB SwapCached: 1044 kB Active: 53148 kB Inactive: 7584 kB HighTotal: 131008 kB HighFree: 102788 kB LowTotal: 903652 kB LowFree: 848004 kB SwapTotal: 2097136 kB SwapFree: 2095568 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5656 kB Slab: 17352 kB Committed_AS: 64168 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-18 09:23:24 (client local time) WITH STATUS 30 IN 221.9 SECONDS stats: 281 0 221.9 30
c INFO: OSL Context initialized. c Initial problem consists of 201 variables and 133 constraints. c preprocess terminated. Elapsed time: 0.108 c After prepocess the problem consists of 195 variables and 133 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 2422 @ 0.124 @ #Dec. 30 c NEW SOLUTION FOUND: 2410 @ 0.126 @ #Dec. 32 c NEW SOLUTION FOUND: 2374 @ 0.131 @ #Dec. 42 c NEW SOLUTION FOUND: 2362 @ 0.132 @ #Dec. 43 c NEW SOLUTION FOUND: 2355 @ 0.14 @ #Dec. 53 c NEW SOLUTION FOUND: 2336 @ 0.169 @ #Dec. 107 c NEW SOLUTION FOUND: 2324 @ 0.172 @ #Dec. 110 c NEW SOLUTION FOUND: 2312 @ 0.194 @ #Dec. 156 c NEW SOLUTION FOUND: 2300 @ 0.206 @ #Dec. 177 c NEW SOLUTION FOUND: 2291 @ 0.254 @ #Dec. 245 c NEW SOLUTION FOUND: 2279 @ 0.255 @ #Dec. 247 c NEW SOLUTION FOUND: 2267 @ 0.314 @ #Dec. 345 c NEW SOLUTION FOUND: 2259 @ 0.389 @ #Dec. 434 c NEW SOLUTION FOUND: 2235 @ 0.445 @ #Dec. 521 c Restart #1 #Var: 195 #Dec: 738 LB: 0 @ 0.721 c NEW SOLUTION FOUND: 2082 @ 0.83 @ #Dec. 871 c NEW SOLUTION FOUND: 2070 @ 0.831 @ #Dec. 872 c NEW SOLUTION FOUND: 2068 @ 0.993 @ #Dec. 1078 c NEW SOLUTION FOUND: 2058 @ 1.009 @ #Dec. 1106 c NEW SOLUTION FOUND: 2046 @ 1.149 @ #Dec. 1261 c Restart #2 #Var: 195 #Dec: 1675 LB: 0 @ 1.693 c NEW SOLUTION FOUND: 1997 @ 2.694 @ #Dec. 2244 c NEW SOLUTION FOUND: 1982 @ 2.695 @ #Dec. 2246 c NEW SOLUTION FOUND: 1977 @ 2.697 @ #Dec. 2247 c NEW SOLUTION FOUND: 1962 @ 2.698 @ #Dec. 2249 c NEW SOLUTION FOUND: 1952 @ 2.701 @ #Dec. 2254 c NEW SOLUTION FOUND: 1944 @ 2.707 @ #Dec. 2265 c NEW SOLUTION FOUND: 1932 @ 2.715 @ #Dec. 2278 c NEW SOLUTION FOUND: 1922 @ 2.743 @ #Dec. 2330 c NEW SOLUTION FOUND: 1914 @ 2.744 @ #Dec. 2334 c NEW SOLUTION FOUND: 1902 @ 2.748 @ #Dec. 2339 c NEW SOLUTION FOUND: 1887 @ 2.767 @ #Dec. 2372 c NEW SOLUTION FOUND: 1879 @ 2.77 @ #Dec. 2375 c NEW SOLUTION FOUND: 1867 @ 2.772 @ #Dec. 2377 c NEW SOLUTION FOUND: 1843 @ 3.105 @ #Dec. 2821 c NEW SOLUTION FOUND: 1841 @ 3.124 @ #Dec. 2845 c NEW SOLUTION FOUND: 1831 @ 3.146 @ #Dec. 2869 c NEW SOLUTION FOUND: 1821 @ 3.453 @ #Dec. 3165 c NEW SOLUTION FOUND: 1809 @ 3.462 @ #Dec. 3176 c NEW SOLUTION FOUND: 1799 @ 3.477 @ #Dec. 3196 c NEW SOLUTION FOUND: 1789 @ 3.602 @ #Dec. 3382 c NEW SOLUTION FOUND: 1779 @ 3.621 @ #Dec. 3405 c Restart #3 #Var: 195 #Dec: 4064 LB: 0 @ 4.675 c Restart #4 #Var: 195 #Dec: 5271 LB: 0 @ 6.068 c Restart #5 #Var: 195 #Dec: 6577 LB: 0 @ 8.067 c Restart #6 #Var: 195 #Dec: 8395 LB: 0 @ 10.447 c NEW SOLUTION FOUND: 1774 @ 12.03 @ #Dec. 9164 c NEW SOLUTION FOUND: 1761 @ 12.031 @ #Dec. 9166 c NEW SOLUTION FOUND: 1749 @ 12.032 @ #Dec. 9168 c NEW SOLUTION FOUND: 1729 @ 12.138 @ #Dec. 9267 c Restart #7 #Var: 195 #Dec: 11036 LB: 0 @ 14.997 c Restart #8 #Var: 195 #Dec: 13280 LB: 0 @ 18.892 c Restart #9 #Var: 195 #Dec: 15901 LB: 0 @ 23.847 c Restart #10 #Var: 195 #Dec: 18407 LB: 0 @ 29.167 c CHANGE to LPR mode... UB: 1729 MIS: 1100 LPR: 1395 (0.081) Diff: 0.78853 c Restart #0 #Var: 195 #Dec: 21678 LB: 0 @ 35.596 c NEW SOLUTION FOUND: 1675 @ 36.92 @ #Dec. 21691 c NEW SOLUTION FOUND: 1669 @ 37.119 @ #Dec. 21696 c NEW SOLUTION FOUND: 1655 @ 37.634 @ #Dec. 21709 c NEW SOLUTION FOUND: 1645 @ 37.769 @ #Dec. 21714 c NEW SOLUTION FOUND: 1631 @ 38.974 @ #Dec. 21734 c NEW SOLUTION FOUND: 1621 @ 39.055 @ #Dec. 21736 c NEW SOLUTION FOUND: 1611 @ 40.027 @ #Dec. 21748 c NEW SOLUTION FOUND: 1591 @ 40.05 @ #Dec. 21748 c NEW SOLUTION FOUND: 1581 @ 41.471 @ #Dec. 21777 c NEW SOLUTION FOUND: 1577 @ 42.663 @ #Dec. 21816 c NEW SOLUTION FOUND: 1571 @ 45.265 @ #Dec. 21869 c NEW SOLUTION FOUND: 1561 @ 45.316 @ #Dec. 21872 c NEW SOLUTION FOUND: 1547 @ 48.971 @ #Dec. 21935 c NEW SOLUTION FOUND: 1535 @ 52.652 @ #Dec. 21999 c NEW SOLUTION FOUND: 1523 @ 59.165 @ #Dec. 22048 c Restart #1 #Var: 195 #Dec: 22241 LB: 1395 @ 121.04 s OPTIMUM FOUND v -x0 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 c Cost: 1523 c Exit Code: 30 c Total time: 221.85 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/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 19 0 0 0 0 0 0 0 22 0 1 0 1781895542 438272 3 4294967295 134512640 134736556 3221224576 3221224576 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 107 3 90 68 0 39 0 [pid=31462] 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/wulflinc9/normalized-p0201.opb [startup+10.0023 s] Raw data (loadavg): 0.93 0.97 0.91 1/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 7994 0 0 0 926 38 0 0 25 0 1 0 1781895542 36356096 7887 4294967295 134512640 134736556 3221224576 3221223468 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/31462/statm): 8876 7887 1116 68 0 8808 0 [pid=31462] vsize: 35504 Current children cumulated CPU time (s) 9.64 Current children cumulated vsize (Kb) 35504 [startup+20.0031 s] Raw data (loadavg): 0.94 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 12150 0 0 0 1886 59 0 0 25 0 1 0 1781895542 53780480 12002 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 13130 12002 1116 68 0 13062 0 [pid=31462] vsize: 52520 Current children cumulated CPU time (s) 19.45 Current children cumulated vsize (Kb) 52520 [startup+30.004 s] Raw data (loadavg): 0.95 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 16373 0 0 0 2847 80 0 0 25 0 1 0 1781895542 71450624 16137 4294967295 134512640 134736556 3221224576 3221223104 134543910 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 17444 16137 1116 68 0 17376 0 [pid=31462] vsize: 69776 Current children cumulated CPU time (s) 29.27 Current children cumulated vsize (Kb) 69776 [startup+40.0047 s] Raw data (loadavg): 0.96 0.97 0.91 1/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 20741 0 0 0 3789 104 0 0 25 0 1 0 1781895542 85991424 19630 4294967295 134512640 134736556 3221224576 3221221372 1077782939 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31462/statm): 20994 19630 1116 68 0 20926 0 [pid=31462] vsize: 83976 Current children cumulated CPU time (s) 38.93 Current children cumulated vsize (Kb) 83976 [startup+50.0055 s] Raw data (loadavg): 0.96 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 24456 0 0 0 4689 138 0 0 25 0 1 0 1781895542 87568384 20009 4294967295 134512640 134736556 3221224576 3221221184 1075968406 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 21379 20009 1116 68 0 21311 0 [pid=31462] vsize: 85516 Current children cumulated CPU time (s) 48.27 Current children cumulated vsize (Kb) 85516 [startup+60.0053 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 27423 0 0 0 5606 165 0 0 17 0 1 0 1781895542 88604672 20285 4294967295 134512640 134736556 3221224576 3221223248 134645407 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 21632 20285 1116 68 0 21564 0 [pid=31462] vsize: 86528 Current children cumulated CPU time (s) 57.71 Current children cumulated vsize (Kb) 86528 [startup+70.0061 s] Raw data (loadavg): 0.97 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 28886 0 0 0 6568 176 0 0 25 0 1 0 1781895542 88821760 20341 4294967295 134512640 134736556 3221224576 3221223172 134682521 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 21685 20341 1116 68 0 21617 0 [pid=31462] vsize: 86740 Current children cumulated CPU time (s) 67.44 Current children cumulated vsize (Kb) 86740 [startup+80.0069 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 30177 0 0 0 7537 185 0 0 25 0 1 0 1781895542 88952832 20376 4294967295 134512640 134736556 3221224576 3221223040 134543923 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 21717 20376 1116 68 0 21649 0 [pid=31462] vsize: 86868 Current children cumulated CPU time (s) 77.22 Current children cumulated vsize (Kb) 86868 [startup+90.0077 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 31448 0 0 0 8506 197 0 0 25 0 1 0 1781895542 89182208 20432 4294967295 134512640 134736556 3221224576 3221223084 134537537 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 21773 20432 1116 68 0 21705 0 [pid=31462] vsize: 87092 Current children cumulated CPU time (s) 87.03 Current children cumulated vsize (Kb) 87092 [startup+100.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 32359 0 0 0 9484 204 0 0 25 0 1 0 1781895542 89432064 20495 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 21834 20495 1116 68 0 21766 0 [pid=31462] vsize: 87336 Current children cumulated CPU time (s) 96.88 Current children cumulated vsize (Kb) 87336 [startup+110.008 s] Raw data (loadavg): 0.98 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 33500 0 0 0 10459 212 0 0 25 0 1 0 1781895542 89841664 20544 4294967295 134512640 134736556 3221224576 3221220652 1075964112 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 21934 20544 1116 68 0 21866 0 [pid=31462] vsize: 87736 Current children cumulated CPU time (s) 106.71 Current children cumulated vsize (Kb) 87736 [startup+120.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 35302 0 0 0 11422 223 0 0 25 0 1 0 1781895542 90210304 20635 4294967295 134512640 134736556 3221224576 3221220616 1074790419 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 22024 20636 1116 68 0 21956 0 [pid=31462] vsize: 88096 Current children cumulated CPU time (s) 116.45 Current children cumulated vsize (Kb) 88096 [startup+130.009 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 37189 0 0 0 12382 237 0 0 25 0 1 0 1781895542 90939392 20866 4294967295 134512640 134736556 3221224576 3221223320 134644820 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22202 20866 1116 68 0 22134 0 [pid=31462] vsize: 88808 Current children cumulated CPU time (s) 126.19 Current children cumulated vsize (Kb) 88808 [startup+140.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 38166 0 0 0 13362 242 0 0 22 0 1 0 1781895542 91054080 20897 4294967295 134512640 134736556 3221224576 3221223264 134645269 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 22230 20897 1116 68 0 22162 0 [pid=31462] vsize: 88920 Current children cumulated CPU time (s) 136.04 Current children cumulated vsize (Kb) 88920 [startup+150.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 39485 0 0 0 14334 252 0 0 25 0 1 0 1781895542 91258880 20947 4294967295 134512640 134736556 3221224576 3221223120 134543990 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22280 20947 1116 68 0 22212 0 [pid=31462] vsize: 89120 Current children cumulated CPU time (s) 145.86 Current children cumulated vsize (Kb) 89120 [startup+160.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 40588 0 0 0 15310 259 0 0 25 0 1 0 1781895542 91418624 20988 4294967295 134512640 134736556 3221224576 3221223264 134645207 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 22319 20988 1116 68 0 22251 0 [pid=31462] vsize: 89276 Current children cumulated CPU time (s) 155.69 Current children cumulated vsize (Kb) 89276 [startup+170.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 42012 0 0 0 16278 272 0 0 25 0 1 0 1781895542 91897856 21079 4294967295 134512640 134736556 3221224576 3221220736 1076079476 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22436 21079 1116 68 0 22368 0 [pid=31462] vsize: 89744 Current children cumulated CPU time (s) 165.5 Current children cumulated vsize (Kb) 89744 [startup+180.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 42692 0 0 0 17261 278 0 0 25 0 1 0 1781895542 91844608 21094 4294967295 134512640 134736556 3221224576 3221223344 134644663 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22423 21094 1116 68 0 22355 0 [pid=31462] vsize: 89692 Current children cumulated CPU time (s) 175.39 Current children cumulated vsize (Kb) 89692 [startup+190.013 s] Raw data (loadavg): 0.99 0.97 0.91 1/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) T 31461 31462 30740 0 -1 0 43994 0 0 0 18231 289 0 0 25 0 1 0 1781895542 92147712 21163 4294967295 134512640 134736556 3221224576 3221222924 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22497 21163 1116 68 0 22429 0 [pid=31462] vsize: 89988 Current children cumulated CPU time (s) 185.2 Current children cumulated vsize (Kb) 89988 [startup+200.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 45623 0 0 0 19191 301 0 0 25 0 1 0 1781895542 92323840 21216 4294967295 134512640 134736556 3221224576 3221223036 134540067 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22540 21216 1116 68 0 22472 0 [pid=31462] vsize: 90160 Current children cumulated CPU time (s) 194.92 Current children cumulated vsize (Kb) 90160 [startup+210.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 46926 0 0 0 20163 311 0 0 25 0 1 0 1781895542 92581888 21273 4294967295 134512640 134736556 3221224576 3221223052 134536687 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/31462/statm): 22603 21273 1116 68 0 22535 0 [pid=31462] vsize: 90412 Current children cumulated CPU time (s) 204.74 Current children cumulated vsize (Kb) 90412 [startup+220.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/56 31462 Raw data (/proc/31462/stat): 31462 (bsolo) R 31461 31462 30740 0 -1 0 48342 0 0 0 21129 323 0 0 25 0 1 0 1781895542 92762112 21318 4294967295 134512640 134736556 3221224576 3221223320 134544456 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/31462/statm): 22647 21318 1116 68 0 22579 0 [pid=31462] vsize: 90588 Current children cumulated CPU time (s) 214.52 Current children cumulated vsize (Kb) 90588 One traced child (pid=31462) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 227.548 CPU time (s): 221.9 CPU user time (s): 218.519 CPU system time (s): 3.38149 CPU usage (%): 97.5178 Max. virtual memory (cumulated for all children) (Kb): 90588
Verifier: OK 1523