Name | mps-v2-13-7/www.csit.fsu.edu/~burkardt/datasets/mps/normalized-mps-v2-13-7-maros.opb |
MD5SUM | 1ae5b04b2d0e1f5ab82e29e98b8350c0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 43097 |
Optimality of the best value was proved | YES |
Number of terms in the objective function | 64 |
Biggest coefficient in the objective function | 4718592 |
Number of bits for the biggest coefficient in the objective function | 23 |
Sum of the numbers in the objective function | 14745570 |
Number of bits of the sum of numbers in the objective function | 24 |
Biggest number in a constraint | 4718592 |
Number of bits of the biggest number in a constraint | 23 |
Biggest sum of numbers in a constraint | 14745570 |
Number of bits of the biggest sum of numbers | 24 |
Best result obtained on this benchmark | OPTIMUM FOUND |
Best CPU time to get the best result obtained on this benchmark | 23.3694 |
Number of variables | 64 |
Total number of constraints | 6 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 6 |
Minimum length of a constraint | 12 |
Maximum length of a constraint | 64 |
LAUNCH ON wulflinc18 THE 2005-09-20 01:11:42 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=1171 boxname=wulflinc18 idbench=1171 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: 1ae5b04b2d0e1f5ab82e29e98b8350c0 /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-maros.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc18/normalized-mps-v2-13-7-maros.opb IDLAUNCH: 1171 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.177 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 : 3 cpu MHz : 451.177 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: 908592 kB Buffers: 18836 kB Cached: 74420 kB SwapCached: 856 kB Active: 23796 kB Inactive: 72048 kB HighTotal: 131008 kB HighFree: 53620 kB LowTotal: 903652 kB LowFree: 854972 kB SwapTotal: 2097892 kB SwapFree: 2096528 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5732 kB Slab: 24412 kB Committed_AS: 64148 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-20 01:14:35 (client local time) WITH STATUS 30 IN 146.931 SECONDS stats: 1171 0 146.931 30
c INFO: OSL Context initialized. c Initial problem consists of 64 variables and 6 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.048 c After prepocess the problem consists of 49 variables and 6 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 53248 @ 0.051 @ #Dec. 46 c NEW SOLUTION FOUND: 52224 @ 0.054 @ #Dec. 53 c NEW SOLUTION FOUND: 48128 @ 0.055 @ #Dec. 56 c NEW SOLUTION FOUND: 46080 @ 0.086 @ #Dec. 139 c NEW SOLUTION FOUND: 45568 @ 0.119 @ #Dec. 248 c NEW SOLUTION FOUND: 45312 @ 0.188 @ #Dec. 431 c Restart #1 #Var: 49 #Dec: 641 LB: 0 @ 0.283 c NEW SOLUTION FOUND: 45056 @ 0.307 @ #Dec. 740 c Restart #2 #Var: 49 #Dec: 1164 LB: 0 @ 0.498 c NEW SOLUTION FOUND: 44544 @ 0.613 @ #Dec. 1450 c Restart #3 #Var: 49 #Dec: 2066 LB: 0 @ 0.954 c Restart #4 #Var: 49 #Dec: 2937 LB: 0 @ 1.601 c NEW SOLUTION FOUND: 44192 @ 2.067 @ #Dec. 3506 c Restart #5 #Var: 49 #Dec: 4524 LB: 0 @ 3.156 c Restart #6 #Var: 49 #Dec: 5950 LB: 0 @ 5.132 c NEW SOLUTION FOUND: 44032 @ 6.684 @ #Dec. 7045 c NEW SOLUTION FOUND: 43968 @ 6.69 @ #Dec. 7055 c NEW SOLUTION FOUND: 43616 @ 6.695 @ #Dec. 7062 c NEW SOLUTION FOUND: 43584 @ 10.237 @ #Dec. 8489 c NEW SOLUTION FOUND: 43552 @ 13.576 @ #Dec. 9804 c Restart #7 #Var: 49 #Dec: 11339 LB: 0 @ 17.894 c Restart #8 #Var: 49 #Dec: 13143 LB: 0 @ 23.266 c Restart #9 #Var: 49 #Dec: 15098 LB: 0 @ 26.445 c Restart #10 #Var: 49 #Dec: 18943 LB: 0 @ 37.187 c CHANGE to LPR mode... UB: 43552 MIS: 0 LPR: 43094 (0.0095) Diff: 0 c Restart #0 #Var: 49 #Dec: 21319 LB: 0 @ 40.194 c NEW SOLUTION FOUND: 43543 @ 40.923 @ #Dec. 21358 c NEW SOLUTION FOUND: 43535 @ 41.34 @ #Dec. 21424 c NEW SOLUTION FOUND: 43533 @ 41.543 @ #Dec. 21456 c NEW SOLUTION FOUND: 43525 @ 41.729 @ #Dec. 21489 c NEW SOLUTION FOUND: 43521 @ 42.701 @ #Dec. 21661 c Restart #1 #Var: 49 #Dec: 21860 LB: 43094 @ 44.048 c NEW SOLUTION FOUND: 43472 @ 45.078 @ #Dec. 21944 c NEW SOLUTION FOUND: 43467 @ 45.487 @ #Dec. 22017 c NEW SOLUTION FOUND: 43463 @ 46.357 @ #Dec. 22160 c NEW SOLUTION FOUND: 43461 @ 47.639 @ #Dec. 22378 c NEW SOLUTION FOUND: 43442 @ 48.386 @ #Dec. 22447 c NEW SOLUTION FOUND: 43422 @ 48.626 @ #Dec. 22461 c NEW SOLUTION FOUND: 43417 @ 49.814 @ #Dec. 22551 c NEW SOLUTION FOUND: 43415 @ 52.865 @ #Dec. 22797 c Restart #2 #Var: 49 #Dec: 23198 LB: 43094 @ 57.366 c Restart #3 #Var: 47 #Dec: 23819 LB: 43094 @ 63.433 c NEW SOLUTION FOUND: 43397 @ 65.879 @ #Dec. 24119 c NEW SOLUTION FOUND: 43357 @ 66.567 @ #Dec. 24228 c NEW SOLUTION FOUND: 43356 @ 68.075 @ #Dec. 24431 c NEW SOLUTION FOUND: 43351 @ 68.57 @ #Dec. 24520 c NEW SOLUTION FOUND: 43348 @ 72.653 @ #Dec. 25132 c Restart #4 #Var: 46 #Dec: 26156 LB: 43094 @ 79.609 c Restart #5 #Var: 46 #Dec: 27169 LB: 43094 @ 91.568 c NEW SOLUTION FOUND: 43330 @ 92.286 @ #Dec. 27213 c NEW SOLUTION FOUND: 43325 @ 92.71 @ #Dec. 27284 c NEW SOLUTION FOUND: 43320 @ 92.808 @ #Dec. 27303 c NEW SOLUTION FOUND: 43318 @ 93.363 @ #Dec. 27390 c NEW SOLUTION FOUND: 43317 @ 95.264 @ #Dec. 27677 c NEW SOLUTION FOUND: 43314 @ 98.576 @ #Dec. 28189 c NEW SOLUTION FOUND: 43309 @ 101.06 @ #Dec. 28575 c NEW SOLUTION FOUND: 43305 @ 101.18 @ #Dec. 28595 c NEW SOLUTION FOUND: 43303 @ 101.91 @ #Dec. 28702 c NEW SOLUTION FOUND: 43302 @ 102.21 @ #Dec. 28742 c NEW SOLUTION FOUND: 43300 @ 103.18 @ #Dec. 28898 c NEW SOLUTION FOUND: 43298 @ 103.28 @ #Dec. 28921 c NEW SOLUTION FOUND: 43296 @ 103.36 @ #Dec. 28940 c NEW SOLUTION FOUND: 43232 @ 104.66 @ #Dec. 29108 c NEW SOLUTION FOUND: 43231 @ 104.69 @ #Dec. 29113 c NEW SOLUTION FOUND: 43229 @ 104.69 @ #Dec. 29114 c NEW SOLUTION FOUND: 43228 @ 104.7 @ #Dec. 29117 c NEW SOLUTION FOUND: 43226 @ 104.71 @ #Dec. 29117 c NEW SOLUTION FOUND: 43224 @ 105.17 @ #Dec. 29152 c NEW SOLUTION FOUND: 43223 @ 105.32 @ #Dec. 29168 c NEW SOLUTION FOUND: 43222 @ 106.87 @ #Dec. 29296 c NEW SOLUTION FOUND: 43219 @ 106.87 @ #Dec. 29296 c NEW SOLUTION FOUND: 43216 @ 106.88 @ #Dec. 29296 c NEW SOLUTION FOUND: 43215 @ 106.91 @ #Dec. 29297 c NEW SOLUTION FOUND: 43214 @ 108.17 @ #Dec. 29404 c NEW SOLUTION FOUND: 43212 @ 112.28 @ #Dec. 29814 c NEW SOLUTION FOUND: 43209 @ 116.29 @ #Dec. 30323 c NEW SOLUTION FOUND: 43206 @ 116.33 @ #Dec. 30330 c NEW SOLUTION FOUND: 43205 @ 116.38 @ #Dec. 30340 c NEW SOLUTION FOUND: 43202 @ 116.42 @ #Dec. 30347 c NEW SOLUTION FOUND: 43201 @ 116.69 @ #Dec. 30390 c NEW SOLUTION FOUND: 43198 @ 116.7 @ #Dec. 30393 c NEW SOLUTION FOUND: 43197 @ 116.73 @ #Dec. 30399 c NEW SOLUTION FOUND: 43194 @ 116.73 @ #Dec. 30399 c NEW SOLUTION FOUND: 43193 @ 116.74 @ #Dec. 30401 c NEW SOLUTION FOUND: 43191 @ 121.29 @ #Dec. 30830 c NEW SOLUTION FOUND: 43189 @ 121.31 @ #Dec. 30836 c NEW SOLUTION FOUND: 43183 @ 121.34 @ #Dec. 30840 c NEW SOLUTION FOUND: 43179 @ 121.41 @ #Dec. 30854 c NEW SOLUTION FOUND: 43177 @ 121.47 @ #Dec. 30862 c NEW SOLUTION FOUND: 43171 @ 121.48 @ #Dec. 30862 c NEW SOLUTION FOUND: 43147 @ 123.95 @ #Dec. 31105 c NEW SOLUTION FOUND: 43137 @ 123.98 @ #Dec. 31112 c NEW SOLUTION FOUND: 43131 @ 124 @ #Dec. 31118 c NEW SOLUTION FOUND: 43127 @ 124.03 @ #Dec. 31124 c NEW SOLUTION FOUND: 43125 @ 124.08 @ #Dec. 31134 c NEW SOLUTION FOUND: 43123 @ 124.11 @ #Dec. 31140 c NEW SOLUTION FOUND: 43119 @ 125.56 @ #Dec. 31265 c NEW SOLUTION FOUND: 43111 @ 125.57 @ #Dec. 31266 c NEW SOLUTION FOUND: 43105 @ 125.58 @ #Dec. 31268 c NEW SOLUTION FOUND: 43101 @ 125.61 @ #Dec. 31273 c NEW SOLUTION FOUND: 43100 @ 128.91 @ #Dec. 31597 c NEW SOLUTION FOUND: 43097 @ 138.33 @ #Dec. 32124 s OPTIMUM FOUND v -VOL1_bit_7 -VOL1_bit_6 VOL1_bit_5 VOL1_bit_4 -VOL1_bit_3 VOL1_bit_2 -VOL1_bit_1 VOL1_bit0 VOL1_bit1 -VOL1_bit2 -VOL1_bit3 -VOL1_bit4 -VOL1_bit5 -VOL1_bit6 -VOL1_bit7 -VOL1_bit8 -VOL1_bit9 -VOL1_bit10 -VOL1_bit11 -VOL1_bit12 VOL2_bit_7 -VOL2_bit_6 -VOL2_bit_5 VOL2_bit_4 -VOL2_bit_3 VOL2_bit_2 -VOL2_bit_1 VOL2_bit0 -VOL2_bit1 VOL2_bit2 VOL2_bit3 -VOL2_bit4 -VOL2_bit5 -VOL2_bit6 -VOL2_bit7 -VOL2_bit8 -VOL2_bit9 -VOL2_bit10 -VOL2_bit11 -VOL2_bit12 -VOL3_bit_7 -VOL3_bit_6 -VOL3_bit_5 -VOL3_bit_4 -VOL3_bit_3 -VOL3_bit_2 -VOL3_bit_1 -VOL3_bit0 VOL3_bit1 VOL3_bit2 VOL3_bit3 VOL3_bit4 -VOL4_bit_7 -VOL4_bit_6 -VOL4_bit_5 -VOL4_bit_4 -VOL4_bit_3 -VOL4_bit_2 -VOL4_bit_1 -VOL4_bit0 -VOL4_bit1 -VOL4_bit2 -VOL4_bit3 -VOL4_bit4 c Cost: 43097 c Exit Code: 30 c Total time: 146.88 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/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1854443505 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/23264/statm): 107 3 90 68 0 39 0 [pid=23264] 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/wulflinc18/normalized-mps-v2-13-7-maros.opb [startup+10.0028 s] Raw data (loadavg): 0.88 0.97 0.99 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 4977 0 0 0 933 29 0 0 25 0 1 0 1854443505 23486464 4888 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 5734 4888 1116 68 0 5666 0 [pid=23264] vsize: 22936 Current children cumulated CPU time (s) 9.62 Current children cumulated vsize (Kb) 22936 [startup+20.0038 s] Raw data (loadavg): 0.90 0.97 0.99 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 6947 0 0 0 1904 44 0 0 25 0 1 0 1854443505 31612928 6857 4294967295 134512640 134736556 3221224560 3221223120 134551094 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 7718 6857 1116 68 0 7650 0 [pid=23264] vsize: 30872 Current children cumulated CPU time (s) 19.48 Current children cumulated vsize (Kb) 30872 [startup+30.0047 s] Raw data (loadavg): 0.91 0.97 0.99 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 9110 0 0 0 2872 60 0 0 25 0 1 0 1854443505 40456192 9020 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 9877 9020 1116 68 0 9809 0 [pid=23264] vsize: 39508 Current children cumulated CPU time (s) 29.32 Current children cumulated vsize (Kb) 39508 [startup+40.0056 s] Raw data (loadavg): 0.93 0.97 0.99 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 10287 0 0 0 3845 73 0 0 25 0 1 0 1854443505 45326336 10197 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 11066 10197 1116 68 0 10998 0 [pid=23264] vsize: 44264 Current children cumulated CPU time (s) 39.18 Current children cumulated vsize (Kb) 44264 [startup+50.0066 s] Raw data (loadavg): 0.94 0.97 0.99 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 14590 0 0 0 4585 158 0 0 19 0 1 0 1854443505 53338112 12234 4294967295 134512640 134736556 3221224560 3221221356 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 13022 12234 1116 68 0 12954 0 [pid=23264] vsize: 52088 Current children cumulated CPU time (s) 47.43 Current children cumulated vsize (Kb) 52088 [startup+60.0065 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 17267 0 0 0 5349 231 0 0 20 0 1 0 1854443505 55820288 12842 4294967295 134512640 134736556 3221224560 3221223236 134529176 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 13628 12842 1116 68 0 13560 0 [pid=23264] vsize: 54512 Current children cumulated CPU time (s) 55.8 Current children cumulated vsize (Kb) 54512 [startup+70.0074 s] Raw data (loadavg): 0.95 0.97 0.99 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 20311 0 0 0 6070 315 0 0 21 0 1 0 1854443505 58601472 13526 4294967295 134512640 134736556 3221224560 3221223232 134536477 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 14307 13526 1116 68 0 14239 0 [pid=23264] vsize: 57228 Current children cumulated CPU time (s) 63.85 Current children cumulated vsize (Kb) 57228 [startup+80.0073 s] Raw data (loadavg): 0.96 0.97 0.99 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 23362 0 0 0 6790 401 0 0 19 0 1 0 1854443505 61157376 14146 4294967295 134512640 134736556 3221224560 3221223296 134529164 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 14931 14146 1116 68 0 14863 0 [pid=23264] vsize: 59724 Current children cumulated CPU time (s) 71.91 Current children cumulated vsize (Kb) 59724 [startup+90.0083 s] Raw data (loadavg): 1.12 1.00 1.00 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 26539 0 0 0 7493 493 0 0 21 0 1 0 1854443505 63655936 14754 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 15541 14754 1116 68 0 15473 0 [pid=23264] vsize: 62164 Current children cumulated CPU time (s) 79.86 Current children cumulated vsize (Kb) 62164 [startup+100.008 s] Raw data (loadavg): 1.10 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 29807 0 0 0 8202 584 0 0 20 0 1 0 1854443505 66666496 15476 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 16276 15476 1116 68 0 16208 0 [pid=23264] vsize: 65104 Current children cumulated CPU time (s) 87.86 Current children cumulated vsize (Kb) 65104 [startup+110.008 s] Raw data (loadavg): 1.08 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 33129 0 0 0 8903 671 0 0 17 0 1 0 1854443505 69689344 16233 4294967295 134512640 134736556 3221224560 3221222940 1077781665 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 17014 16233 1116 68 0 16946 0 [pid=23264] vsize: 68056 Current children cumulated CPU time (s) 95.74 Current children cumulated vsize (Kb) 68056 [startup+120.009 s] Raw data (loadavg): 1.07 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 37062 0 0 0 9545 780 0 0 17 0 1 0 1854443505 73424896 17139 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 17926 17139 1116 68 0 17858 0 [pid=23264] vsize: 71704 Current children cumulated CPU time (s) 103.25 Current children cumulated vsize (Kb) 71704 [startup+130.01 s] Raw data (loadavg): 1.06 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 40020 0 0 0 10278 858 0 0 16 0 1 0 1854443505 76197888 17801 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 18603 17801 1116 68 0 18535 0 [pid=23264] vsize: 74412 Current children cumulated CPU time (s) 111.36 Current children cumulated vsize (Kb) 74412 [startup+140.011 s] Raw data (loadavg): 1.05 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 43657 0 0 0 10936 961 0 0 19 0 1 0 1854443505 79593472 18609 4294967295 134512640 134736556 3221224560 3221222692 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 19432 18609 1116 68 0 19364 0 [pid=23264] vsize: 77728 Current children cumulated CPU time (s) 118.97 Current children cumulated vsize (Kb) 77728 [startup+150.012 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 47002 0 0 0 11626 1053 0 0 19 0 1 0 1854443505 82681856 19362 4294967295 134512640 134736556 3221224560 3221222908 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/23264/statm): 20186 19362 1116 68 0 20118 0 [pid=23264] vsize: 80744 Current children cumulated CPU time (s) 126.79 Current children cumulated vsize (Kb) 80744 [startup+160.012 s] Raw data (loadavg): 1.04 1.00 1.00 2/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) R 23263 23264 31027 0 -1 0 49347 0 0 0 12413 1116 0 0 16 0 1 0 1854443505 84652032 19874 4294967295 134512640 134736556 3221224560 3221223140 134553382 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/23264/statm): 20667 19874 1116 68 0 20599 0 [pid=23264] vsize: 82668 Current children cumulated CPU time (s) 135.29 Current children cumulated vsize (Kb) 82668 [startup+170.013 s] Raw data (loadavg): 1.03 1.00 1.00 1/56 23264 Raw data (/proc/23264/stat): 23264 (bsolo) T 23263 23264 31027 0 -1 0 51344 0 0 0 13215 1177 0 0 15 0 1 0 1854443505 86347776 20303 4294967295 134512640 134736556 3221224560 3221221356 1077782939 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/23264/statm): 21081 20303 1116 68 0 21013 0 [pid=23264] vsize: 84324 Current children cumulated CPU time (s) 143.92 Current children cumulated vsize (Kb) 84324 One traced child (pid=23264) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 173.232 CPU time (s): 146.931 CPU user time (s): 135.011 CPU system time (s): 11.9192 CPU usage (%): 84.8174 Max. virtual memory (cumulated for all children) (Kb): 84324
Verifier: OK 43097