Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1800.59 | 1801.28 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-dano3_4.opb |
MD5SUM | 8bcab2e61229633d937bbb81a9edbb1b |
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 | 404566 |
Total number of constraints | 3686 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 4 |
Number of constraints which are nor clauses,nor cardinality constraints | 3682 |
Minimum length of a constraint | 11 |
Maximum length of a constraint | 15900 |
Number of terms in the objective function | 30 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524317 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 535830 |
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/node73/31613-1149258160/instance-31613-1149258160.opb 987227620 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 987227620 0.00 c Noise: 0.7 (70 : 100) 86.08 c Starting searching: 86.08 c Phase 1 ... 1801.23 c trying 524317: xxxxxc 1801.23 c Phase 2 ... 1801.23 c trying 0: c 1801.23 c Phase 3 ... 1801.23 c trying 0 again: c 1801.23 s UNKNOWN 1801.23 c 1801.23 c During searching: -1.3e-05 seconds elapsed. 1801.23 c CPU time spent: 0 seconds. 1801.23 c 1801.23 c =================================== END ===================================== 1801.23 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/node73/watcher-31613-1149258160 -o ROOT/results/node73/solver-31613-1149258160 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node73/31613-1149258160/instance-31613-1149258160.opb 987227620 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 16011 /proc/meminfo: memFree=1377576/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=7976 CPUtime=0 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 183 0 0 0 0 0 0 0 19 0 1 0 191480819 8167424 167 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134602247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 1994 170 100 226 0 1765 0 [startup+10.0023 s] /proc/loadavg: 0.93 0.95 0.90 2/64 16011 /proc/meminfo: memFree=1260208/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=123720 CPUtime=9.98 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 29477 0 0 0 985 13 0 0 25 0 1 0 191480819 126689280 29461 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 30930 29461 110 226 0 30701 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 123720 [startup+20.0092 s] /proc/loadavg: 0.94 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1199280/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=186340 CPUtime=19.98 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 44678 0 0 0 1979 19 0 0 25 0 1 0 191480819 190812160 44662 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 46585 44662 110 226 0 46356 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 186340 [startup+30.0162 s] /proc/loadavg: 0.95 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1196592/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=188140 CPUtime=29.98 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 45391 0 0 0 2979 19 0 0 25 0 1 0 191480819 192655360 45375 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 47035 45375 110 226 0 46806 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 188140 [startup+40.0222 s] /proc/loadavg: 0.95 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1194480/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=189488 CPUtime=39.99 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 45923 0 0 0 3979 20 0 0 25 0 1 0 191480819 194035712 45907 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014967 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 47372 45907 110 226 0 47143 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 189488 [startup+50.0292 s] /proc/loadavg: 0.96 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1191856/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=194524 CPUtime=49.99 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 46632 0 0 0 4979 20 0 0 25 0 1 0 191480819 199192576 46616 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014981 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 48631 46616 110 226 0 48402 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 194524 [startup+60.0361 s] /proc/loadavg: 0.97 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1188976/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=196320 CPUtime=59.99 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 47340 0 0 0 5979 20 0 0 25 0 1 0 191480819 201031680 47324 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 49080 47324 110 226 0 48851 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 196320 [startup+70.0431 s] /proc/loadavg: 0.97 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1186864/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=197668 CPUtime=70 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 47872 0 0 0 6979 21 0 0 25 0 1 0 191480819 202412032 47856 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 49417 47856 110 226 0 49188 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 197668 [startup+80.0501 s] /proc/loadavg: 0.98 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1170096/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=216200 CPUtime=80 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 52072 0 0 0 7978 22 0 0 25 0 1 0 191480819 221388800 52056 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 54050 52056 110 226 0 53821 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 216200 [startup+90.056 s] /proc/loadavg: 0.98 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=90 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63015 0 0 0 8972 28 0 0 25 0 1 0 191480819 267026432 62991 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605358 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62991 114 226 0 64963 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 260768 [startup+100.062 s] /proc/loadavg: 0.98 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=100.01 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 9973 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 260768 [startup+110.068 s] /proc/loadavg: 0.98 0.96 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=110.01 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 10973 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 260768 [startup+120.074 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=120.01 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 11973 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 260768 [startup+130.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=130.01 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 12973 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 260768 [startup+140.086 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126192/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=140.02 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 13974 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 260768 [startup+150.092 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=150.02 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 14974 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601701 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 260768 [startup+160.098 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=160.02 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 15974 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 260768 [startup+170.104 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=170.02 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 16974 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 260768 [startup+180.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=180.02 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 17974 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 260768 [startup+190.116 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=190.03 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 18975 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 260768 [startup+200.122 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=200.03 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63016 0 0 0 19975 28 0 0 25 0 1 0 191480819 267026432 62992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598348 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62992 115 226 0 64963 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 260768 [startup+210.128 s] /proc/loadavg: 0.99 0.97 0.91 2/64 16011 /proc/meminfo: memFree=1126128/2055920 swapFree=4182220/4192956 ################ # More data... # ################ [pid=16011] ppid=16009 vsize=260768 CPUtime=1781.44 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178116 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868505 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 260768 [startup+1783.13 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1782.45 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178217 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 260768 [startup+1784.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1783.45 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178317 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 260768 [startup+1785.14 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1784.46 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178418 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611553 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 260768 [startup+1786.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1785.46 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178518 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 260768 [startup+1787.15 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1786.47 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178619 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601711 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 260768 [startup+1788.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1787.47 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178719 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1787.47 Current children cumulated vsize (Kb) 260768 [startup+1789.16 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1788.48 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178820 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 260768 [startup+1790.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1789.48 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 178920 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607717 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 260768 [startup+1791.17 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1790.48 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179020 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134566270 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1790.48 Current children cumulated vsize (Kb) 260768 [startup+1792.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1791.49 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179121 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 260768 [startup+1793.18 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1792.49 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179221 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1792.49 Current children cumulated vsize (Kb) 260768 [startup+1794.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1793.5 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179322 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 260768 [startup+1795.19 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1794.5 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179422 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134877496 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 260768 [startup+1796.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1795.51 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179523 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 260768 [startup+1797.2 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1796.51 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179623 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134611543 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 260768 [startup+1798.21 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1797.52 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179724 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607236 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 260768 [startup+1799.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1798.52 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179824 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607306 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 260768 [startup+1800.22 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1799.53 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 179925 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 260768 [startup+1801.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1800.53 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 180025 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868502 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 260768 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.23 s] /proc/loadavg: 1.00 0.99 0.91 2/64 16013 /proc/meminfo: memFree=1125744/2055920 swapFree=4182220/4192956 [pid=16011] ppid=16009 vsize=260768 CPUtime=1800.54 /proc/16011/stat : 16011 (wildcat-rnp) R 16009 16011 15965 0 -1 4194304 63018 0 0 0 180026 28 0 0 25 0 1 0 191480819 267026432 62994 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/16011/statm: 65192 62994 117 226 0 64963 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 260768 Sending SIGTERM to -16011 Sleeping 2 seconds Child status: 0 Real time (s): 1801.28 CPU time (s): 1800.59 CPU user time (s): 1800.26 CPU system time (s): 0.32295 CPU usage (%): 99.9617 Max. virtual memory (cumulated for all children) (Kb): 260768
Begin job on node73 on Fri Jun 2 14:22:40 UTC 2006 FILE ID= 31613-1149258160 PBS_JOBID= 298495 BENCH NAME= ROOT/tmp/node73/31613-1149258160/instance-31613-1149258160.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node73/31613-1149258160/instance-31613-1149258160.opb 987227620 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node73/watcher-31613-1149258160 -o ROOT/results/node73/solver-31613-1149258160 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node73/31613-1149258160/instance-31613-1149258160.opb 987227620 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 8bcab2e61229633d937bbb81a9edbb1b RANDOM SEED= 987227620 /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.261 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.261 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: 1377784 kB Buffers: 38360 kB Cached: 566712 kB SwapCached: 2508 kB Active: 136816 kB Inactive: 477052 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1377784 kB SwapTotal: 4192956 kB SwapFree: 4182220 kB Dirty: 164 kB Writeback: 0 kB Mapped: 15120 kB Slab: 50316 kB Committed_AS: 209532 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node73 on Fri Jun 2 14:52:42 UTC 2006