Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1802.52 | 1803.07 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/ MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb |
MD5SUM | 321e9d4e6ed80bc00fdeca5e2a9625ff |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 13.185 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 25930 |
Total number of constraints | 22640 |
Number of constraints which are clauses | 10362 |
Number of constraints which are cardinality constraints (but not clauses) | 103 |
Number of constraints which are nor clauses,nor cardinality constraints | 12175 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 913 |
Number of terms in the objective function | 24130 |
Biggest coefficient in the objective function | 94430 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 544308 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 371834 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 544308 |
Number of bits of the biggest sum of numbers | 20 |
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 c 0.00 c wildcat-rnp (VERSION 0.8.0-lite-rnp-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:33:09 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node0/31799-1149355996/instance-31799-1149355996.opb 865960712 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 865960712 0.00 c Noise: 0.7 (70 : 100) 27.96 c Starting searching: 27.96 c Phase 1 ... 1803.01 c trying 539379: xc 1803.01 c Phase 2 ... 1803.01 c trying 0: c 1803.01 c Phase 3 ... 1803.01 c trying 0 again: c 1803.01 s UNKNOWN 1803.01 c 1803.01 c During searching: -1.4e-05 seconds elapsed. 1803.01 c CPU time spent: 0 seconds. 1803.01 c 1803.01 c =================================== END ===================================== 1803.01 c
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node0/watcher-31799-1149355996 -o ROOT/results/node0/solver-31799-1149355996 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node0/31799-1149355996/instance-31799-1149355996.opb 865960712 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.81 0.93 0.97 2/64 24034 /proc/meminfo: memFree=1465936/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=6212 CPUtime=0 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 217 0 0 0 0 0 0 0 18 0 1 0 201261211 6361088 201 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135015990 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 1553 201 100 226 0 1324 0 [startup+10.0034 s] /proc/loadavg: 0.83 0.93 0.97 2/64 24034 /proc/meminfo: memFree=1308248/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=164596 CPUtime=9.99 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 39545 0 0 0 982 17 0 0 25 0 1 0 201261211 168546304 39529 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 41149 39530 110 226 0 40920 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 164596 [startup+20.0095 s] /proc/loadavg: 0.86 0.93 0.97 2/64 24034 /proc/meminfo: memFree=1216664/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=260696 CPUtime=19.99 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 62435 0 0 0 1971 28 0 0 25 0 1 0 201261211 266952704 62419 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 65174 62419 110 226 0 64945 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 260696 [startup+30.0156 s] /proc/loadavg: 0.88 0.93 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=30 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87833 0 0 0 2959 41 0 0 25 0 1 0 201261211 370434048 87809 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87809 114 226 0 90209 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 361752 [startup+40.0217 s] /proc/loadavg: 0.90 0.93 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=40 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 3959 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 361752 [startup+50.0278 s] /proc/loadavg: 0.91 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=50 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 4959 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 361752 [startup+60.034 s] /proc/loadavg: 0.93 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=60.01 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 5960 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 361752 [startup+70.0401 s] /proc/loadavg: 0.94 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=70.01 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 6960 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 361752 [startup+80.0462 s] /proc/loadavg: 0.95 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=80.01 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 7960 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 361752 [startup+90.0523 s] /proc/loadavg: 0.95 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=90.02 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 8961 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 361752 [startup+100.058 s] /proc/loadavg: 0.96 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=100.02 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 9961 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607933 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 361752 [startup+110.065 s] /proc/loadavg: 0.97 0.94 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=110.02 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 10961 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601743 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 361752 [startup+120.071 s] /proc/loadavg: 0.97 0.95 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=120.03 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 11962 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 361752 [startup+130.076 s] /proc/loadavg: 0.98 0.95 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=130.03 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 12962 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 361752 [startup+140.082 s] /proc/loadavg: 0.98 0.95 0.97 2/64 24034 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=140.03 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 13962 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598581 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 361752 [startup+150.088 s] /proc/loadavg: 0.98 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114840/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=150.04 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 14963 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 361752 [startup+160.094 s] /proc/loadavg: 0.98 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114840/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=160.04 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 15963 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605286 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 361752 [startup+170.1 s] /proc/loadavg: 0.99 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114840/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=170.04 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 16963 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 361752 [startup+180.106 s] /proc/loadavg: 0.99 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=180.05 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 17964 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 361752 [startup+190.112 s] /proc/loadavg: 0.99 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=190.05 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 18964 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601088 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 361752 [startup+200.118 s] /proc/loadavg: 0.99 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114904/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=200.05 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 19964 41 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 361752 [startup+210.124 s] /proc/loadavg: 0.99 0.95 0.97 2/64 24036 /proc/meminfo: memFree=1114840/2055920 swapFree=4191892/4192956 ################ # More data... # ################ [pid=24034] ppid=24032 vsize=361752 CPUtime=1782.56 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178208 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 361752 [startup+1784.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1783.56 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178308 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 361752 [startup+1785.12 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1784.57 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178409 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 361752 [startup+1786.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1785.57 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178509 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 361752 [startup+1787.13 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1786.58 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178610 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 361752 [startup+1788.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1787.58 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178710 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 361752 [startup+1789.14 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1788.59 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178811 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 361752 [startup+1790.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1789.59 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 178911 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 361752 [startup+1791.15 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1790.59 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179011 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 361752 [startup+1792.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1791.6 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179112 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 361752 [startup+1793.16 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1792.6 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179212 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 361752 [startup+1794.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1793.61 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179313 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 361752 [startup+1795.17 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1794.61 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179413 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 361752 [startup+1796.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1795.62 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179514 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 361752 [startup+1797.18 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1796.62 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179614 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598581 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 361752 [startup+1798.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1797.63 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179715 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 361752 [startup+1799.19 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1798.63 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179815 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607222 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 361752 [startup+1800.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1799.64 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 179916 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 361752 [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1800.64 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 180016 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601092 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 361752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.97 2/64 24231 /proc/meminfo: memFree=1114520/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1800.64 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 180016 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601816 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 361752 Sending SIGTERM to -24034 Sleeping 2 seconds [startup+1802.21 s] /proc/loadavg: 0.99 0.97 0.97 2/65 24232 /proc/meminfo: memFree=1114512/2055920 swapFree=4191892/4192956 [pid=24034] ppid=24032 vsize=361752 CPUtime=1801.65 /proc/24034/stat : 24034 (wildcat-rnp) R 24032 24034 23988 0 -1 4194304 87836 0 0 0 180117 48 0 0 25 0 1 0 201261211 370434048 87812 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/24034/statm: 90438 87812 117 226 0 90209 0 Current children cumulated CPU time (s) 1801.65 Current children cumulated vsize (Kb) 361752 Child status: 0 Real time (s): 1803.07 CPU time (s): 1802.52 CPU user time (s): 1801.97 CPU system time (s): 0.543917 CPU usage (%): 99.9693 Max. virtual memory (cumulated for all children) (Kb): 361752
Begin job on node0 on Sat Jun 3 17:33:17 UTC 2006 FILE ID= 31799-1149355996 PBS_JOBID= 311255 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-momentum2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node0/31799-1149355996/instance-31799-1149355996.opb 865960712 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node0/watcher-31799-1149355996 -o ROOT/results/node0/solver-31799-1149355996 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node0/31799-1149355996/instance-31799-1149355996.opb 865960712 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 321e9d4e6ed80bc00fdeca5e2a9625ff RANDOM SEED= 865960712 /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.236 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.236 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: 1466144 kB Buffers: 29220 kB Cached: 493752 kB SwapCached: 492 kB Active: 213884 kB Inactive: 325716 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1466144 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 180 kB Writeback: 0 kB Mapped: 25740 kB Slab: 36080 kB Committed_AS: 303908 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node0 on Sat Jun 3 18:03:20 UTC 2006