Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1801.11 | 1801.74 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/ miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb |
MD5SUM | f0369b32b392b309903886944ef44b64 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 204880 |
Total number of constraints | 159488 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 5805 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 120 |
Number of terms in the objective function | 75648 |
Biggest coefficient in the objective function | 7 |
Number of bits for the biggest coefficient in the objective function | 3 |
Sum of the numbers in the objective function | 529536 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 7 |
Number of bits of the biggest number in a constraint | 3 |
Biggest sum of numbers in a constraint | 529536 |
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/node82/31828-1149363031/instance-31828-1149363031.opb 555962556 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 555962556 0.00 c Noise: 0.7 (70 : 100) 58.68 c Starting searching: 58.68 c Phase 1 ... 204.82 c trying 529536: xxxxxxxxxxc 204.82 c Phase 2 ... 1801.66 c trying 0: xxc 1801.66 c Phase 3 ... 1801.66 c trying 0 again: c 1801.66 s UNKNOWN 1801.66 c 1801.66 c During searching: -1.3e-05 seconds elapsed. 1801.66 c CPU time spent: 0 seconds. 1801.66 c 1801.66 c =================================== END ===================================== 1801.66 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/node82/watcher-31828-1149363031 -o ROOT/results/node82/solver-31828-1149363031 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node82/31828-1149363031/instance-31828-1149363031.opb 555962556 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1454384/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=7004 CPUtime=0 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 266 0 0 0 0 0 0 0 19 0 1 0 193492405 7172096 251 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134602247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 1751 254 100 226 0 1522 0 [startup+10.0016 s] /proc/loadavg: 0.93 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1449784/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=10416 CPUtime=9.99 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 1290 0 0 0 999 0 0 0 25 0 1 0 193492405 10665984 1275 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 2604 1275 105 226 0 2375 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 10416 [startup+20.0075 s] /proc/loadavg: 0.94 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1447224/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=13188 CPUtime=19.99 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 1989 0 0 0 1999 0 0 0 25 0 1 0 193492405 13504512 1974 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 3297 1974 105 226 0 3068 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 13188 [startup+30.0134 s] /proc/loadavg: 0.95 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1444472/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=16084 CPUtime=30 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 2752 0 0 0 2999 1 0 0 25 0 1 0 193492405 16470016 2671 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 4021 2671 105 226 0 3792 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 16084 [startup+40.0193 s] /proc/loadavg: 0.96 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1441720/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=18856 CPUtime=39.99 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 3453 0 0 0 3998 1 0 0 25 0 1 0 193492405 19308544 3372 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 4714 3372 105 226 0 4485 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 18856 [startup+50.0262 s] /proc/loadavg: 0.96 0.98 0.99 2/68 1821 /proc/meminfo: memFree=1438904/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=22008 CPUtime=50 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 4279 0 0 0 4998 2 0 0 25 0 1 0 193492405 22536192 4068 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 5502 4068 105 226 0 5273 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 22008 [startup+60.0321 s] /proc/loadavg: 0.97 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=60 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119600 0 0 0 5951 49 0 0 25 0 1 0 193492405 495439872 119088 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119088 114 226 0 120728 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 483828 [startup+70.039 s] /proc/loadavg: 0.97 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=70 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 6951 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 483828 [startup+80.0459 s] /proc/loadavg: 0.98 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=80.01 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 7952 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 483828 [startup+90.0518 s] /proc/loadavg: 0.98 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=90.01 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 8952 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 483828 [startup+100.058 s] /proc/loadavg: 0.98 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=100.01 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 9952 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 483828 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=110.02 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 10953 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 483828 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=120.02 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 11953 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 483828 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=130.02 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 12953 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 483828 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=140.02 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 13953 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134551207 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 483828 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=150.03 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 14954 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605345 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 483828 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=160.03 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 15954 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 483828 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=170.03 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 16954 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 483828 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=180.03 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 17954 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134549910 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 483828 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=190.04 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 18955 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605330 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 483828 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=200.04 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 19955 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 483828 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=978104/2055892 swapFree=4087504/4096564 ################ # More data... # ################ [pid=1821] ppid=1819 vsize=483828 CPUtime=1781.44 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178095 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 483828 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1782.45 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178196 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 483828 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1783.45 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178296 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 483828 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1784.46 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178397 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 483828 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1785.46 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178497 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 483828 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1786.47 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178598 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 483828 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1787.47 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178698 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605351 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 483828 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1788.48 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178799 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 483828 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1789.48 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178899 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 483828 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1790.48 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 178999 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 483828 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1791.49 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179100 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598588 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 483828 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1792.49 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179200 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 483828 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1793.5 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179301 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 483828 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1794.5 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179401 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 483828 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1795.51 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179502 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 483828 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1796.51 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179602 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 483828 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1797.52 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179703 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 483828 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1798.52 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179803 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 483828 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1799.53 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 179904 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 483828 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1800.53 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 180004 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 483828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 1821 /proc/meminfo: memFree=977656/2055892 swapFree=4087504/4096564 [pid=1821] ppid=1819 vsize=483828 CPUtime=1800.54 /proc/1821/stat : 1821 (wildcat-rnp) R 1819 1821 1773 0 -1 4194304 119601 0 0 0 180005 49 0 0 25 0 1 0 193492405 495439872 119089 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1821/statm: 120957 119089 115 226 0 120728 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 483828 Sending SIGTERM to -1821 Sleeping 2 seconds Child status: 0 Real time (s): 1801.74 CPU time (s): 1801.11 CPU user time (s): 1800.54 CPU system time (s): 0.567913 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 483828
Begin job on node82 on Sat Jun 3 19:30:31 UTC 2006 FILE ID= 31828-1149363031 PBS_JOBID= 311621 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/MIPLIB/miplib2003/normalized-reduced-mps-v2-20-10-stp3d.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node82/31828-1149363031/instance-31828-1149363031.opb 555962556 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-31828-1149363031 -o ROOT/results/node82/solver-31828-1149363031 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node82/31828-1149363031/instance-31828-1149363031.opb 555962556 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= f0369b32b392b309903886944ef44b64 RANDOM SEED= 555962556 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1454528 kB Buffers: 20528 kB Cached: 515496 kB SwapCached: 2740 kB Active: 84564 kB Inactive: 460168 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1454528 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 168 kB Writeback: 0 kB Mapped: 14632 kB Slab: 42908 kB Committed_AS: 401160 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Sat Jun 3 20:00:33 UTC 2006