Name | mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-p0201.opb |
MD5SUM | ffa3a55eb53181880328dd1b84f91e66 |
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 | 207.265 |
Number of variables | 201 |
Total number of constraints | 334 |
Number of constraints which are clauses | 20 |
Number of constraints which are cardinality constraints (but not clauses) | 227 |
Number of constraints which are nor clauses,nor cardinality constraints | 87 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 67 |
LAUNCH ON wulflinc31 THE 2005-09-18 11:19:16 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=530 boxname=wulflinc31 idbench=530 idsolver=1 numberseed=0 MD5SUM SOLVER: 38f99674050b34630888bf623b924b59 /oldhome/oroussel/solvers/bsolo MD5SUM BENCH: ffa3a55eb53181880328dd1b84f91e66 /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb REAL COMMAND: bsolo /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-p0201.opb IDLAUNCH: 530 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.153 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.153 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 717552 kB Buffers: 35284 kB Cached: 251340 kB SwapCached: 1016 kB Active: 92496 kB Inactive: 196896 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 717300 kB SwapTotal: 2097892 kB SwapFree: 2096404 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5768 kB Slab: 22088 kB Committed_AS: 64340 kB PageTables: 340 kB VmallocTotal: 114680 kB VmallocUsed: 1368 kB VmallocChunk: 113252 kB JOB ENDED THE 2005-09-18 11:22:51 (client local time) WITH STATUS 30 IN 207.265 SECONDS stats: 530 0 207.265 30
c INFO: OSL Context initialized. c Initial problem consists of 201 variables and 133 constraints. c No problem reductions applied in OPT. instance. c preprocess terminated. Elapsed time: 0.196 c After prepocess the problem consists of 195 variables and 133 constraints. c Initial Lower Bound: 0 c NEW SOLUTION FOUND: 2700 @ 0.203 @ #Dec. 32 c NEW SOLUTION FOUND: 2675 @ 0.204 @ #Dec. 33 c NEW SOLUTION FOUND: 2674 @ 0.205 @ #Dec. 36 c NEW SOLUTION FOUND: 2662 @ 0.205 @ #Dec. 36 c NEW SOLUTION FOUND: 2650 @ 0.205 @ #Dec. 38 c NEW SOLUTION FOUND: 2602 @ 0.21 @ #Dec. 49 c NEW SOLUTION FOUND: 2595 @ 0.217 @ #Dec. 69 c NEW SOLUTION FOUND: 2575 @ 0.248 @ #Dec. 158 c NEW SOLUTION FOUND: 2565 @ 0.25 @ #Dec. 163 c NEW SOLUTION FOUND: 2552 @ 0.25 @ #Dec. 166 c NEW SOLUTION FOUND: 2540 @ 0.251 @ #Dec. 167 c NEW SOLUTION FOUND: 2362 @ 0.303 @ #Dec. 272 c NEW SOLUTION FOUND: 2355 @ 0.308 @ #Dec. 287 c NEW SOLUTION FOUND: 2349 @ 0.31 @ #Dec. 290 c NEW SOLUTION FOUND: 2324 @ 0.312 @ #Dec. 296 c NEW SOLUTION FOUND: 2312 @ 0.336 @ #Dec. 369 c NEW SOLUTION FOUND: 2300 @ 0.339 @ #Dec. 381 c NEW SOLUTION FOUND: 2291 @ 0.4 @ #Dec. 493 c NEW SOLUTION FOUND: 2279 @ 0.418 @ #Dec. 532 c NEW SOLUTION FOUND: 2267 @ 0.485 @ #Dec. 652 c NEW SOLUTION FOUND: 2259 @ 0.592 @ #Dec. 869 c NEW SOLUTION FOUND: 2247 @ 0.653 @ #Dec. 1043 c NEW SOLUTION FOUND: 2235 @ 0.723 @ #Dec. 1220 c NEW SOLUTION FOUND: 2231 @ 0.854 @ #Dec. 1445 c NEW SOLUTION FOUND: 2219 @ 0.856 @ #Dec. 1449 c Restart #1 #Var: 195 #Dec: 1697 LB: 0 @ 0.985 c NEW SOLUTION FOUND: 2208 @ 1.06 @ #Dec. 1858 c NEW SOLUTION FOUND: 2203 @ 1.074 @ #Dec. 1886 c NEW SOLUTION FOUND: 2023 @ 1.128 @ #Dec. 2009 c NEW SOLUTION FOUND: 1999 @ 1.129 @ #Dec. 2015 c NEW SOLUTION FOUND: 1994 @ 1.139 @ #Dec. 2044 c NEW SOLUTION FOUND: 1991 @ 1.15 @ #Dec. 2080 c NEW SOLUTION FOUND: 1979 @ 1.152 @ #Dec. 2085 c NEW SOLUTION FOUND: 1974 @ 1.188 @ #Dec. 2161 c Restart #2 #Var: 195 #Dec: 2652 LB: 0 @ 1.482 c NEW SOLUTION FOUND: 1972 @ 1.606 @ #Dec. 2964 c NEW SOLUTION FOUND: 1957 @ 1.682 @ #Dec. 3125 c NEW SOLUTION FOUND: 1954 @ 1.686 @ #Dec. 3143 c NEW SOLUTION FOUND: 1950 @ 2.147 @ #Dec. 3966 c NEW SOLUTION FOUND: 1942 @ 2.163 @ #Dec. 4001 c NEW SOLUTION FOUND: 1940 @ 2.167 @ #Dec. 4006 c NEW SOLUTION FOUND: 1930 @ 2.168 @ #Dec. 4011 c NEW SOLUTION FOUND: 1922 @ 2.28 @ #Dec. 4180 c NEW SOLUTION FOUND: 1912 @ 2.285 @ #Dec. 4188 c NEW SOLUTION FOUND: 1902 @ 2.327 @ #Dec. 4251 c NEW SOLUTION FOUND: 1892 @ 2.331 @ #Dec. 4262 c NEW SOLUTION FOUND: 1882 @ 2.431 @ #Dec. 4421 c NEW SOLUTION FOUND: 1874 @ 2.47 @ #Dec. 4479 c NEW SOLUTION FOUND: 1864 @ 2.472 @ #Dec. 4483 c NEW SOLUTION FOUND: 1854 @ 2.522 @ #Dec. 4570 c NEW SOLUTION FOUND: 1844 @ 2.526 @ #Dec. 4577 c Restart #3 #Var: 195 #Dec: 5387 LB: 0 @ 3.246 c NEW SOLUTION FOUND: 1842 @ 3.479 @ #Dec. 5792 c NEW SOLUTION FOUND: 1830 @ 3.561 @ #Dec. 6034 c NEW SOLUTION FOUND: 1813 @ 3.595 @ #Dec. 6125 c NEW SOLUTION FOUND: 1800 @ 3.596 @ #Dec. 6130 c NEW SOLUTION FOUND: 1788 @ 3.597 @ #Dec. 6134 c NEW SOLUTION FOUND: 1780 @ 3.642 @ #Dec. 6305 c NEW SOLUTION FOUND: 1768 @ 3.668 @ #Dec. 6353 c Restart #4 #Var: 195 #Dec: 7570 LB: 0 @ 4.512 c Restart #5 #Var: 195 #Dec: 9009 LB: 0 @ 5.981 c Restart #6 #Var: 195 #Dec: 11627 LB: 0 @ 8.548 c Restart #7 #Var: 195 #Dec: 14694 LB: 0 @ 12.387 c NEW SOLUTION FOUND: 1766 @ 14.462 @ #Dec. 15849 c NEW SOLUTION FOUND: 1754 @ 14.464 @ #Dec. 15852 c Restart #8 #Var: 195 #Dec: 17678 LB: 0 @ 20.275 c Restart #9 #Var: 195 #Dec: 20166 LB: 0 @ 26.716 c Restart #10 #Var: 195 #Dec: 22589 LB: 0 @ 29.569 c Restart #11 #Var: 195 #Dec: 25467 LB: 0 @ 38.922 c NEW SOLUTION FOUND: 1746 @ 43.006 @ #Dec. 28149 c NEW SOLUTION FOUND: 1744 @ 43.046 @ #Dec. 28198 c NEW SOLUTION FOUND: 1734 @ 43.049 @ #Dec. 28203 c NEW SOLUTION FOUND: 1726 @ 43.668 @ #Dec. 28823 c NEW SOLUTION FOUND: 1724 @ 43.698 @ #Dec. 28861 c NEW SOLUTION FOUND: 1714 @ 43.7 @ #Dec. 28865 c Restart #12 #Var: 195 #Dec: 31789 LB: 0 @ 47.609 c Restart #13 #Var: 195 #Dec: 35188 LB: 0 @ 52.566 c Restart #14 #Var: 195 #Dec: 38466 LB: 0 @ 70.325 c Restart #15 #Var: 195 #Dec: 42727 LB: 0 @ 77.206 c CHANGE to LPR mode... UB: 1714 MIS: 0 LPR: 1395 (0.065667) Diff: 0 c Restart #0 #Var: 195 #Dec: 46305 LB: 0 @ 105.11 c NEW SOLUTION FOUND: 1656 @ 107.55 @ #Dec. 46347 c NEW SOLUTION FOUND: 1651 @ 107.6 @ #Dec. 46347 c NEW SOLUTION FOUND: 1641 @ 109.23 @ #Dec. 46395 c NEW SOLUTION FOUND: 1595 @ 115.66 @ #Dec. 46512 c NEW SOLUTION FOUND: 1571 @ 115.72 @ #Dec. 46512 c NEW SOLUTION FOUND: 1561 @ 119.07 @ #Dec. 46579 c Restart #1 #Var: 195 #Dec: 46782 LB: 1395 @ 147.26 c NEW SOLUTION FOUND: 1559 @ 151.59 @ #Dec. 46846 c NEW SOLUTION FOUND: 1557 @ 151.82 @ #Dec. 46856 c NEW SOLUTION FOUND: 1547 @ 151.84 @ #Dec. 46856 c NEW SOLUTION FOUND: 1535 @ 153.27 @ #Dec. 46887 c NEW SOLUTION FOUND: 1533 @ 170.03 @ #Dec. 47031 c NEW SOLUTION FOUND: 1523 @ 170.07 @ #Dec. 47034 s OPTIMUM FOUND v -C1001_bit0 C1002_bit0 -C1003_bit0 C1004_bit0 -C1005_bit0 -C1006_bit0 -C1007_bit0 -C1008_bit0 -C1009_bit0 -C1010_bit0 -C1011_bit0 -C1012_bit0 -C1013_bit0 -C1014_bit0 -C1015_bit0 -C1016_bit0 -C1017_bit0 -C1018_bit0 -C1019_bit0 -C1020_bit0 -C1021_bit0 -C1022_bit0 -C1023_bit0 -C1024_bit0 -C1025_bit0 C1026_bit0 -C1027_bit0 -C1028_bit0 -C1029_bit0 -C1030_bit0 -C1031_bit0 -C1032_bit0 -C1033_bit0 -C1034_bit0 -C1035_bit0 -C1036_bit0 -C1037_bit0 -C1038_bit0 C1039_bit0 -C1040_bit0 -C1041_bit0 -C1042_bit0 -C1043_bit0 C1044_bit0 -C1045_bit0 -C1046_bit0 -C1047_bit0 -C1048_bit0 -C1049_bit0 -C1050_bit0 -C1051_bit0 -C1052_bit0 -C1053_bit0 -C1054_bit0 -C1055_bit0 -C1056_bit0 C1057_bit0 -C1058_bit0 C1059_bit0 -C1060_bit0 -C1061_bit0 -C1062_bit0 -C1063_bit0 -C1064_bit0 -C1065_bit0 -C1066_bit0 -C1067_bit0 -C1068_bit0 -C1069_bit0 -C1070_bit0 -C1071_bit0 -C1072_bit0 -C1073_bit0 -C1074_bit0 C1075_bit0 C1076_bit0 -C1077_bit0 -C1078_bit0 -C1079_bit0 -C1080_bit0 -C1081_bit0 -C1082_bit0 -C1083_bit0 -C1084_bit0 -C1085_bit0 -C1086_bit0 -C1087_bit0 -C1088_bit0 -C1089_bit0 -C1090_bit0 -C1091_bit0 -C1092_bit0 C1093_bit0 -C1094_bit0 -C1095_bit0 -C1096_bit0 C1097_bit0 -C1098_bit0 -C1099_bit0 -C1100_bit0 -C1101_bit0 -C1102_bit0 -C1103_bit0 -C1104_bit0 -C1105_bit0 -C1106_bit0 -C1107_bit0 -C1108_bit0 -C1109_bit0 -C1110_bit0 C1111_bit0 -C1112_bit0 -C1113_bit0 -C1114_bit0 -C1115_bit0 C1116_bit0 -C1117_bit0 -C1118_bit0 -C1119_bit0 -C1120_bit0 -C1121_bit0 -C1122_bit0 -C1123_bit0 -C1124_bit0 -C1125_bit0 -C1126_bit0 -C1127_bit0 -C1128_bit0 C1129_bit0 -C1130_bit0 C1131_bit0 -C1132_bit0 -C1133_bit0 -C1134_bit0 -C1135_bit0 -C1136_bit0 -C1137_bit0 -C1138_bit0 -C1139_bit0 -C1140_bit0 -C1141_bit0 -C1142_bit0 -C1143_bit0 -C1144_bit0 -C1145_bit0 -C1146_bit0 C1147_bit0 C1148_bit0 -C1149_bit0 -C1150_bit0 -C1151_bit0 -C1152_bit0 -C1153_bit0 -C1154_bit0 -C1155_bit0 -C1156_bit0 -C1157_bit0 -C1158_bit0 -C1159_bit0 -C1160_bit0 -C1161_bit0 -C1162_bit0 -C1163_bit0 -C1164_bit0 C1165_bit0 -C1166_bit0 -C1167_bit0 -C1168_bit0 C1169_bit0 -C1170_bit0 -C1171_bit0 -C1172_bit0 -C1173_bit0 -C1174_bit0 -C1175_bit0 -C1176_bit0 -C1177_bit0 -C1178_bit0 -C1179_bit0 -C1180_bit0 -C1181_bit0 -C1182_bit0 C1183_bit0 -C1184_bit0 -C1185_bit0 -C1186_bit0 -C1187_bit0 C1188_bit0 -C1189_bit0 -C1190_bit0 -C1191_bit0 -C1192_bit0 -C1193_bit0 -C1194_bit0 -C1195_bit0 -C1196_bit0 -C1197_bit0 -C1198_bit0 -C1199_bit0 -C1200_bit0 C1201_bit0 c Cost: 1523 c Exit Code: 30 c Total time: 207.21 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/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 19 0 0 0 0 0 0 0 23 0 1 0 1840801233 438272 3 4294967295 134512640 134736556 3221224560 3221224560 1073744960 0 0 5 0 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 107 3 90 68 0 39 0 [pid=11322] 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/wulflinc31/normalized-mps-v2-20-10-p0201.opb [startup+10.0034 s] Raw data (loadavg): 0.87 0.95 0.96 2/57 11322 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 6032 0 0 0 915 38 0 0 25 0 1 0 1840801233 27836416 5943 4294967295 134512640 134736556 3221224560 3221223248 134529232 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 6796 5943 1116 68 0 6728 0 [pid=11322] vsize: 27184 Current children cumulated CPU time (s) 9.53 Current children cumulated vsize (Kb) 27184 [startup+20.0043 s] Raw data (loadavg): 0.89 0.95 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 7707 0 0 0 1881 53 0 0 25 0 1 0 1840801233 34594816 7618 4294967295 134512640 134736556 3221224560 3221223184 134537358 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 8446 7618 1116 68 0 8378 0 [pid=11322] vsize: 33784 Current children cumulated CPU time (s) 19.34 Current children cumulated vsize (Kb) 33784 [startup+30.0053 s] Raw data (loadavg): 0.91 0.95 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 9439 0 0 0 2849 68 0 0 25 0 1 0 1840801233 41754624 9350 4294967295 134512640 134736556 3221224560 3221223132 134537572 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 10194 9350 1116 68 0 10126 0 [pid=11322] vsize: 40776 Current children cumulated CPU time (s) 29.17 Current children cumulated vsize (Kb) 40776 [startup+40.0062 s] Raw data (loadavg): 0.92 0.96 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 10436 0 0 0 3826 79 0 0 25 0 1 0 1840801233 45805568 10347 4294967295 134512640 134736556 3221224560 3221223268 134609065 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 11183 10347 1116 68 0 11115 0 [pid=11322] vsize: 44732 Current children cumulated CPU time (s) 39.05 Current children cumulated vsize (Kb) 44732 [startup+50.0072 s] Raw data (loadavg): 0.93 0.96 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 13538 0 0 0 4779 99 0 0 20 0 1 0 1840801233 58523648 13448 4294967295 134512640 134736556 3221224560 3221223088 134550721 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 14288 13448 1116 68 0 14220 0 [pid=11322] vsize: 57152 Current children cumulated CPU time (s) 48.78 Current children cumulated vsize (Kb) 57152 [startup+60.0081 s] Raw data (loadavg): 0.94 0.96 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 15191 0 0 0 5749 111 0 0 25 0 1 0 1840801233 65282048 15101 4294967295 134512640 134736556 3221224560 3221223232 134528726 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 15938 15101 1116 68 0 15870 0 [pid=11322] vsize: 63752 Current children cumulated CPU time (s) 58.6 Current children cumulated vsize (Kb) 63752 [startup+70.009 s] Raw data (loadavg): 0.95 0.96 0.96 2/57 11324 Raw data (/proc/11322/stat): 11322 (bsolo) T 11321 11322 9102 0 -1 0 15933 0 0 0 6735 117 0 0 25 0 1 0 1840801233 68399104 15843 4294967295 134512640 134736556 3221224560 3221223452 1077781665 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/11322/statm): 16699 15843 1116 68 0 16631 0 [pid=11322] vsize: 66796 Current children cumulated CPU time (s) 68.52 Current children cumulated vsize (Kb) 66796 [startup+80.0099 s] Raw data (loadavg): 0.96 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 17621 0 0 0 7703 131 0 0 25 0 1 0 1840801233 75292672 17531 4294967295 134512640 134736556 3221224560 3221223184 134528714 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 18382 17531 1116 68 0 18314 0 [pid=11322] vsize: 73528 Current children cumulated CPU time (s) 78.34 Current children cumulated vsize (Kb) 73528 [startup+90.0109 s] Raw data (loadavg): 0.96 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 18374 0 0 0 8692 137 0 0 25 0 1 0 1840801233 78401536 18284 4294967295 134512640 134736556 3221224560 3221223116 134537543 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 19141 18284 1116 68 0 19073 0 [pid=11322] vsize: 76564 Current children cumulated CPU time (s) 88.29 Current children cumulated vsize (Kb) 76564 [startup+100.012 s] Raw data (loadavg): 0.97 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 19152 0 0 0 9678 145 0 0 25 0 1 0 1840801233 81514496 19062 4294967295 134512640 134736556 3221224560 3221223104 134551043 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/11322/statm): 19901 19062 1116 68 0 19833 0 [pid=11322] vsize: 79604 Current children cumulated CPU time (s) 98.23 Current children cumulated vsize (Kb) 79604 [startup+110.013 s] Raw data (loadavg): 0.97 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 21798 0 0 0 10642 158 0 0 25 0 1 0 1840801233 88211456 20728 4294967295 134512640 134736556 3221224560 3221222880 134682706 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 21536 20728 1116 68 0 21468 0 [pid=11322] vsize: 86144 Current children cumulated CPU time (s) 108 Current children cumulated vsize (Kb) 86144 [startup+120.014 s] Raw data (loadavg): 0.98 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 24067 0 0 0 11537 191 0 0 25 0 1 0 1840801233 88592384 20821 4294967295 134512640 134736556 3221224560 3221222512 1074918607 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 21629 20821 1116 68 0 21561 0 [pid=11322] vsize: 86516 Current children cumulated CPU time (s) 117.28 Current children cumulated vsize (Kb) 86516 [startup+130.015 s] Raw data (loadavg): 0.98 0.96 0.96 2/57 11326 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 27116 0 0 0 12458 218 0 0 25 0 1 0 1840801233 88866816 20889 4294967295 134512640 134736556 3221224560 3221222864 1074115509 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 21696 20889 1116 68 0 21628 0 [pid=11322] vsize: 86784 Current children cumulated CPU time (s) 126.76 Current children cumulated vsize (Kb) 86784 [startup+140.017 s] Raw data (loadavg): 0.98 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 30224 0 0 0 13382 244 0 0 25 0 1 0 1840801233 89370624 20971 4294967295 134512640 134736556 3221224560 3221221632 1074834428 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 21819 20971 1116 68 0 21751 0 [pid=11322] vsize: 87276 Current children cumulated CPU time (s) 136.26 Current children cumulated vsize (Kb) 87276 [startup+150.018 s] Raw data (loadavg): 0.98 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 33173 0 0 0 14315 268 0 0 25 0 1 0 1840801233 89464832 21032 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 21842 21032 1116 68 0 21774 0 [pid=11322] vsize: 87368 Current children cumulated CPU time (s) 145.83 Current children cumulated vsize (Kb) 87368 [startup+160.017 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 36674 0 0 0 15218 298 0 0 25 0 1 0 1840801233 91348992 21494 4294967295 134512640 134736556 3221224560 3221222296 1077410205 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22302 21494 1116 68 0 22234 0 [pid=11322] vsize: 89208 Current children cumulated CPU time (s) 155.16 Current children cumulated vsize (Kb) 89208 [startup+170.018 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 39657 0 0 0 16146 324 0 0 25 0 1 0 1840801233 91684864 21576 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22384 21576 1116 68 0 22316 0 [pid=11322] vsize: 89536 Current children cumulated CPU time (s) 164.7 Current children cumulated vsize (Kb) 89536 [startup+180.019 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 42612 0 0 0 17073 348 0 0 25 0 1 0 1840801233 92102656 21674 4294967295 134512640 134736556 3221224560 3221222388 1074143411 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22486 21674 1116 68 0 22418 0 [pid=11322] vsize: 89944 Current children cumulated CPU time (s) 174.21 Current children cumulated vsize (Kb) 89944 [startup+190.02 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11328 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 45736 0 0 0 18000 372 0 0 25 0 1 0 1840801233 92405760 21755 4294967295 134512640 134736556 3221224560 3221223168 134682918 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22560 21755 1116 68 0 22492 0 [pid=11322] vsize: 90240 Current children cumulated CPU time (s) 183.72 Current children cumulated vsize (Kb) 90240 [startup+200.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11330 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 48645 0 0 0 18932 396 0 0 25 0 1 0 1840801233 92934144 21813 4294967295 134512640 134736556 3221224560 3221221440 1075960390 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22689 21813 1116 68 0 22621 0 [pid=11322] vsize: 90756 Current children cumulated CPU time (s) 193.28 Current children cumulated vsize (Kb) 90756 [startup+210.021 s] Raw data (loadavg): 0.99 0.97 0.96 2/57 11330 Raw data (/proc/11322/stat): 11322 (bsolo) R 11321 11322 9102 0 -1 0 51383 0 0 0 19864 416 0 0 25 0 1 0 1840801233 92876800 21866 4294967295 134512640 134736556 3221224560 3221223156 134682521 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/11322/statm): 22675 21866 1116 68 0 22607 0 [pid=11322] vsize: 90700 Current children cumulated CPU time (s) 202.8 Current children cumulated vsize (Kb) 90700 One traced child (pid=11322) exited with status: 30 All traced children have exited ! Game is over. Child status: 30 Real time (s): 214.681 CPU time (s): 207.265 CPU user time (s): 202.985 CPU system time (s): 4.28035 CPU usage (%): 96.5458 Max. virtual memory (cumulated for all children) (Kb): 90756
Verifier: OK 1523