Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4_v2 2007-03-23 | SAT (TO) | -7551 | 1800.04 | 1800.52 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-sentoy.opb |
MD5SUM | d0f46c7e79d3309033cc6b73ceacef6c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | -7772 |
Best CPU time to get the best result obtained on this benchmark | 0.130979 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -7772 |
Optimality of the best value was proved | YES |
Number of variables | 60 |
Total number of constraints | 30 |
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 | 30 |
Minimum length of a constraint | 60 |
Maximum length of a constraint | 60 |
Number of terms in the objective function | 60 |
Biggest coefficient in the objective function | 974 |
Number of bits for the biggest coefficient in the objective function | 10 |
Sum of the numbers in the objective function | 9460 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 6000 |
Number of bits of the biggest number in a constraint | 13 |
Biggest sum of numbers in a constraint | 26162 |
Number of bits of the biggest sum of numbers | 15 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb ...... 0.00/0.00 c done parsing opb. 0.00/0.00 o 9460 0.00/0.00 o 9458 0.00/0.00 o 9383 0.00/0.00 o 9381 0.00/0.00 o 9377 0.00/0.00 o 9375 0.00/0.00 o 9316 0.00/0.00 o 9314 0.00/0.00 o 9310 0.00/0.00 o 9308 0.00/0.00 o 8530 0.00/0.00 o 8528 0.00/0.00 o 8453 0.00/0.00 o 8451 0.00/0.00 o 8447 0.00/0.00 o 8445 0.00/0.00 o 8386 0.00/0.00 o 8384 0.00/0.00 o 8380 0.00/0.00 o 8378 0.00/0.00 o 8377 0.00/0.00 o 8375 0.00/0.00 o 8374 0.00/0.00 o 8372 0.00/0.00 o 8371 0.00/0.00 o 8369 0.00/0.01 o 8260 0.00/0.01 o 8258 0.00/0.01 o 8183 0.00/0.01 o 8181 0.00/0.01 o 8177 0.00/0.01 o 8175 0.00/0.01 o 8116 0.00/0.01 o 8114 0.00/0.01 o 8110 0.00/0.01 o 8108 0.00/0.01 o 8107 0.00/0.01 o 8105 0.00/0.01 o 8104 0.00/0.01 o 8102 0.00/0.01 o 8101 0.00/0.01 o 8099 0.00/0.01 o 8083 0.00/0.01 o 8081 0.00/0.01 o 8077 0.00/0.01 o 8075 0.00/0.01 o 8074 0.00/0.01 o 8072 0.00/0.01 o 8071 0.00/0.01 o 8069 0.00/0.01 o 8068 0.00/0.01 o 8066 0.00/0.01 o 8064 0.00/0.01 o 8062 0.00/0.01 o 8061 0.00/0.01 o 8059 0.00/0.01 o 8058 0.00/0.01 o 8056 0.00/0.01 o 8055 0.00/0.01 o 8053 0.00/0.01 o 8006 0.00/0.01 o 8004 0.00/0.01 o 8000 0.00/0.01 o 7998 0.00/0.01 o 7997 0.00/0.01 o 7995 0.00/0.01 o 7994 0.00/0.01 o 7992 0.00/0.01 o 7991 0.00/0.01 o 7989 0.00/0.01 o 7973 0.00/0.01 o 7971 0.00/0.01 o 7967 0.00/0.01 o 7965 0.00/0.01 o 7964 0.00/0.01 o 7962 0.00/0.01 o 7961 0.00/0.01 o 7959 0.00/0.01 o 7958 0.00/0.01 o 7956 0.00/0.01 o 7954 0.00/0.02 o 7952 0.00/0.02 o 7951 0.00/0.02 o 7949 0.00/0.02 o 7948 0.00/0.02 o 7946 0.00/0.02 o 7945 0.00/0.02 o 7943 0.00/0.02 o 7941 0.00/0.02 o 7940 0.00/0.02 o 7938 0.00/0.02 o 7937 0.00/0.02 o 7935 0.00/0.02 o 7933 0.00/0.02 o 7931 0.00/0.02 o 7930 0.00/0.02 o 7928 0.00/0.02 o 7927 0.00/0.02 o 7925 0.00/0.02 o 7924 0.00/0.02 o 7922 0.00/0.02 o 7917 0.00/0.02 o 7915 0.00/0.02 o 7911 0.00/0.02 o 7909 0.00/0.02 o 7908 0.00/0.02 o 7906 0.00/0.02 o 7905 0.00/0.02 o 7903 0.00/0.02 o 7902 0.00/0.02 o 7900 0.00/0.02 o 7898 0.00/0.02 o 7896 0.00/0.02 o 7895 0.00/0.02 o 7893 0.00/0.02 o 7892 0.00/0.02 o 7890 0.00/0.02 o 7889 0.00/0.02 o 7887 0.00/0.02 o 7885 0.00/0.02 o 7884 0.00/0.02 o 7882 0.00/0.02 o 7881 0.00/0.02 o 7879 0.00/0.02 o 7877 0.00/0.02 o 7875 0.00/0.03 o 7874 0.00/0.03 o 7872 0.00/0.03 o 7871 0.00/0.03 o 7869 0.00/0.03 o 7868 0.00/0.03 o 7866 0.00/0.03 o 7556 0.00/0.03 o 7554 0.00/0.03 o 7479 0.00/0.03 o 7477 0.00/0.03 o 7473 0.00/0.03 o 7471 0.00/0.03 o 7412 0.00/0.03 o 7410 0.00/0.03 o 7406 0.00/0.03 o 7404 0.00/0.03 o 7403 0.00/0.03 o 7401 0.00/0.03 o 7400 0.00/0.03 o 7398 0.00/0.03 o 7397 0.00/0.03 o 7395 0.00/0.03 o 7286 0.00/0.03 o 7284 0.00/0.03 o 7209 0.00/0.03 o 7207 0.00/0.03 o 7203 0.00/0.03 o 7201 0.00/0.03 o 7142 0.00/0.03 o 7140 0.00/0.03 o 7136 0.00/0.03 o 7134 0.00/0.03 o 7133 0.00/0.03 o 7131 0.00/0.03 o 7130 0.00/0.03 o 7128 0.00/0.03 o 7127 0.00/0.03 o 7125 0.00/0.03 o 7109 0.00/0.03 o 7107 0.00/0.03 o 7103 0.00/0.03 o 7101 0.00/0.03 o 7100 0.00/0.03 o 7098 0.00/0.03 o 7097 0.00/0.03 o 7095 0.00/0.03 o 7094 0.00/0.03 o 7092 0.00/0.03 o 7090 0.00/0.03 o 7088 0.00/0.03 o 7087 0.00/0.03 o 7085 0.00/0.03 o 7084 0.00/0.03 o 7082 0.00/0.04 o 7081 0.00/0.04 o 7079 0.00/0.04 o 7032 0.00/0.04 o 7030 0.00/0.04 o 7026 0.00/0.04 o 7024 0.00/0.04 o 7023 0.00/0.04 o 7021 0.00/0.04 o 7020 0.00/0.04 o 7018 0.00/0.04 o 7017 0.00/0.04 o 7015 0.00/0.04 o 6999 0.00/0.04 o 6997 0.00/0.04 o 6993 0.00/0.04 o 6991 0.00/0.04 o 6990 0.00/0.04 o 6988 0.00/0.04 o 6987 0.00/0.04 o 6985 0.00/0.04 o 6984 0.00/0.04 o 6982 0.00/0.04 o 6980 0.00/0.04 o 6978 0.00/0.04 o 6977 0.00/0.04 o 6940 0.00/0.04 o 3726 0.00/0.04 o 2796 0.00/0.04 o 2767 0.00/0.04 o 2262 4.39/4.43 o 2250 384.79/384.97 o 2247 402.38/402.50 o 2246 516.86/517.07 o 2220 624.63/624.88 o 2212 722.50/722.75 o 2205 750.00/750.23 o 2194 817.48/817.74 o 2179 925.34/925.61 o 2156 1397.82/1398.24 o 2152 1489.99/1490.44 o 2144 1589.17/1589.61 o 2093 1700.44/1700.99 o 2080 1748.93/1749.42 o 2040 1762.82/1763.35 o 2025 1768.93/1769.42 o 1958 1785.51/1786.04 o 1956 1785.51/1786.05 o 1922 1789.11/1789.70 o 1909 1800.02/1800.50 s SATISFIABLE 1800.02/1800.50 v -x1 x10 x11 -x12 -x13 -x14 -x15 -x16 -x17 x18 -x19 -x2 -x20 -x21 -x22 -x23 x24 x25 -x26 -x27 -x28 -x29 -x3 -x30 x31 -x32 x33 -x34 1800.02/1800.50 v -x35 -x36 -x37 -x38 -x39 -x4 -x40 x41 x42 -x43 -x44 x45 -x46 -x47 -x48 x49 x5 -x50 x51 x52 -x53 -x54 x55 -x56 -x57 -x58 x59 x6 -x60 1800.02/1800.50 v x7 x8 -x9
OK -7551
/tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb is already a linear file
runsolver version 3.2.3 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node65/watcher-458711-1178641030 -o ROOT/results/node65/solver-458711-1178641030 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9099 /proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1324 CPUtime=0 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 132 0 0 0 0 0 0 0 18 0 1 0 340092608 1355776 114 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135023167 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 331 114 86 219 0 108 0 [startup+0.104856 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9099 /proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1320 CPUtime=0.09 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 160 0 0 0 9 0 0 0 18 0 1 0 340092608 1351680 141 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557301 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 330 141 102 219 0 107 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 1320 [startup+0.201864 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9099 /proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1320 CPUtime=0.19 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 167 0 0 0 19 0 0 0 19 0 1 0 340092608 1351680 148 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557382 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 330 148 102 219 0 107 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 1320 [startup+0.301873 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9099 /proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1320 CPUtime=0.29 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 174 0 0 0 29 0 0 0 19 0 1 0 340092608 1351680 155 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 330 155 102 219 0 107 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 1320 [startup+0.701906 s] /proc/loadavg: 1.00 1.00 1.00 3/64 9099 /proc/meminfo: memFree=1927096/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1464 CPUtime=0.69 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 196 0 0 0 69 0 0 0 23 0 1 0 340092608 1499136 177 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549412 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 366 177 102 219 0 143 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 1464 [startup+1.50197 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1926704/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=1464 CPUtime=1.49 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 237 0 0 0 149 0 0 0 25 0 1 0 340092608 1499136 218 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557367 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 366 218 102 219 0 143 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 1464 [startup+3.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1926192/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=2416 CPUtime=3.09 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 391 0 0 0 308 1 0 0 25 0 1 0 340092608 2473984 372 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557385 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 604 372 102 219 0 381 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 2416 [startup+6.30137 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1924912/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=3772 CPUtime=6.29 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 669 0 0 0 627 2 0 0 25 0 1 0 340092608 3862528 650 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 943 650 102 219 0 720 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 3772 [startup+12.7019 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1923568/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=6424 CPUtime=12.69 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 999 0 0 0 1267 2 0 0 25 0 1 0 340092608 6578176 931 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 1606 931 102 219 0 1383 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 6424 [startup+25.502 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1921520/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=7608 CPUtime=25.49 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 1595 0 0 0 2544 5 0 0 25 0 1 0 340092608 7790592 1430 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557448 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 1902 1430 102 219 0 1679 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 7608 [startup+51.1011 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1919664/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=12664 CPUtime=51.08 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 2263 0 0 0 5100 8 0 0 25 0 1 0 340092608 12967936 1905 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545646 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 3166 1905 102 219 0 2943 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 12664 [startup+102.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1915376/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=13696 CPUtime=102.27 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 3328 0 0 0 10213 14 0 0 25 0 1 0 340092608 14024704 2970 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 3424 2970 102 219 0 3201 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 13696 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1911216/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=24744 CPUtime=162.24 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 4755 0 0 0 16205 19 0 0 25 0 1 0 340092608 25337856 4012 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 6186 4012 102 219 0 5963 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 24744 [startup+222.305 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1907504/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=25592 CPUtime=222.23 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 5676 0 0 0 22200 23 0 0 25 0 1 0 340092608 26206208 4933 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 6398 4933 102 219 0 6175 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 25592 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1903920/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=26640 CPUtime=282.22 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 6641 0 0 0 28195 27 0 0 25 0 1 0 340092608 27279360 5832 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 6660 5832 102 219 0 6437 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 26640 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1901808/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=44412 CPUtime=342.2 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7205 0 0 0 34188 32 0 0 25 0 1 0 340092608 45477888 6330 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 11103 6330 102 219 0 10880 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 44412 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1900720/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=45256 CPUtime=402.18 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7553 0 0 0 40182 36 0 0 25 0 1 0 340092608 46342144 6612 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 11314 6612 102 219 0 11091 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 45256 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1899888/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=46204 CPUtime=462.16 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 7838 0 0 0 46176 40 0 0 25 0 1 0 340092608 47312896 6798 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550337 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 11551 6798 102 219 0 11328 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 46204 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1898800/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=49728 CPUtime=522.15 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 8918 0 0 0 52170 45 0 0 25 0 1 0 340092608 50921472 7076 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 12432 7076 102 219 0 12209 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 49728 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1895856/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=50048 CPUtime=582.14 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 9669 0 0 0 58166 48 0 0 25 0 1 0 340092608 51249152 7794 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 12512 7794 102 219 0 12289 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 50048 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1893104/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=50340 CPUtime=642.12 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 10366 0 0 0 64161 51 0 0 25 0 1 0 340092608 51548160 8491 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134557429 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 12585 8491 102 219 0 12362 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 50340 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1885360/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=52408 CPUtime=822.07 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 12473 0 0 0 82146 61 0 0 25 0 1 0 340092608 53665792 10400 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 13102 10400 102 219 0 12879 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 52408 [startup+882.306 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1882608/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=53884 CPUtime=882.06 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 13410 0 0 0 88143 63 0 0 25 0 1 0 340092608 55177216 11076 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 13471 11076 102 219 0 13248 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 53884 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1880240/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=54528 CPUtime=942.04 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14060 0 0 0 94138 66 0 0 25 0 1 0 340092608 55836672 11627 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 135059409 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 13632 11627 102 219 0 13409 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 54528 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1878320/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=55276 CPUtime=1002.03 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14697 0 0 0 100134 69 0 0 25 0 1 0 340092608 56602624 12134 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 13819 12134 102 219 0 13596 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 55276 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1877552/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=56052 CPUtime=1062 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 14949 0 0 0 106129 71 0 0 25 0 1 0 340092608 57397248 12321 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550328 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 14013 12321 102 219 0 13790 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 56052 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1876720/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=56820 CPUtime=1122 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 15339 0 0 0 112126 74 0 0 25 0 1 0 340092608 58183680 12516 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 14205 12516 102 219 0 13982 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 56820 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1874864/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=90360 CPUtime=1181.97 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 15936 0 0 0 118120 77 0 0 25 0 1 0 340092608 92528640 12983 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550340 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 22590 12983 102 219 0 22367 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 90360 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1873136/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=91128 CPUtime=1241.95 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 16551 0 0 0 124116 79 0 0 25 0 1 0 340092608 93315072 13402 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134545637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 22782 13402 102 219 0 22559 0 Current children cumulated CPU time (s) 1241.95 Current children cumulated vsize (KiB) 91128 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1870896/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=92156 CPUtime=1301.95 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 17300 0 0 0 130112 83 0 0 25 0 1 0 340092608 94367744 13956 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 23039 13956 102 219 0 22816 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 92156 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1869552/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=92156 CPUtime=1361.92 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 17633 0 0 0 136107 85 0 0 25 0 1 0 340092608 94367744 14289 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549380 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 23039 14289 102 219 0 22816 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 92156 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1867696/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=92544 CPUtime=1421.91 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 18151 0 0 0 142103 88 0 0 25 0 1 0 340092608 94765056 14742 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550343 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 23136 14742 102 219 0 22913 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 92544 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9100 /proc/meminfo: memFree=1865648/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=93060 CPUtime=1481.9 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 18719 0 0 0 148100 90 0 0 25 0 1 0 340092608 95293440 15244 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 23265 15244 102 219 0 23042 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 93060 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1864112/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=93580 CPUtime=1541.89 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 19130 0 0 0 154097 92 0 0 25 0 1 0 340092608 95825920 15622 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134544667 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 23395 15622 102 219 0 23172 0 Current children cumulated CPU time (s) 1541.89 Current children cumulated vsize (KiB) 93580 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1862384/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=99856 CPUtime=1601.86 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21085 0 0 0 160092 94 0 0 25 0 1 0 340092608 102252544 16040 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134549410 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 24964 16040 102 219 0 24741 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 99856 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1860912/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=99856 CPUtime=1661.85 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21444 0 0 0 166089 96 0 0 25 0 1 0 340092608 102252544 16399 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 24964 16399 102 219 0 24741 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 99856 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1859312/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=100248 CPUtime=1721.83 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 21881 0 0 0 172085 98 0 0 25 0 1 0 340092608 102653952 16803 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 25062 16803 102 219 0 24839 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 100248 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1856304/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=101616 CPUtime=1781.82 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 22621 0 0 0 178082 100 0 0 25 0 1 0 340092608 104054784 17543 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 25404 17543 102 219 0 25181 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 101616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/65 9102 /proc/meminfo: memFree=1855472/2055920 swapFree=4184160/4192956 [pid=9099] ppid=9097 vsize=102008 CPUtime=1800.02 /proc/9099/stat : 9099 (PBS4_SAT07v2) R 9097 9099 8692 0 -1 4194304 22823 0 0 0 179901 101 0 0 25 0 1 0 340092608 104456192 17745 18446744073709551615 134512640 135410602 4294956672 18446744073709551615 134550311 0 0 4096 16384 0 0 0 17 1 0 0 /proc/9099/statm: 25502 17745 102 219 0 25279 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 102008 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.52 CPU time (s): 1800.04 CPU user time (s): 1799.01 CPU system time (s): 1.02484 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (KiB): 102008 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.01 system time used= 1.02484 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 22826 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 2024 runsolver used 1.24381 second user time and 3.68144 second system time The end
Begin job on node65 on Tue May 8 16:17:10 UTC 2007 IDJOB= 458711 IDBENCH= 1857 IDSOLVER= 200 FILE ID= node65/458711-1178641030 PBS_JOBID= 5218344 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4_v2 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-sentoy.opb COMMAND LINE= PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node65/convwatcher-458711-1178641030 -o ROOT/results/node65/conversion-458711-1178641030 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node65/watcher-458711-1178641030 -o ROOT/results/node65/solver-458711-1178641030 -C 1800 -W 3600 -M 1800 --output-limit 1,15 PBS4_SAT07v2 /tmp/evaluation/458711-1178641030/instance-458711-1178641030.opb META MD5SUM SOLVER= 18cd8c68a4d3bfb01f29079966475a33 MD5SUM BENCH= d0f46c7e79d3309033cc6b73ceacef6c RANDOM SEED= 313822964 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node65.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.245 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1927568 kB Buffers: 2748 kB Cached: 21468 kB SwapCached: 2712 kB Active: 67452 kB Inactive: 4196 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1927568 kB SwapTotal: 4192956 kB SwapFree: 4184160 kB Dirty: 2272 kB Writeback: 0 kB Mapped: 53616 kB Slab: 42640 kB Committed_AS: 7434496 kB PageTables: 1548 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66562 MiB End job on node65 on Tue May 8 16:47:13 UTC 2007