Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1802.14 | 1802.6 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-NSR8K.opb |
MD5SUM | 093bff5ffdc26fbd8afb9be10c9fedc9 |
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 | 5.21221 |
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 | 221520 |
Total number of constraints | 6283 |
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 | 6283 |
Minimum length of a constraint | 45 |
Maximum length of a constraint | 221520 |
Number of terms in the objective function | 221520 |
Biggest coefficient in the objective function | 8183 |
Number of bits for the biggest coefficient in the objective function | 13 |
Sum of the numbers in the objective function | 743259 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262141 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 743261 |
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/node4/31656-1149272858/instance-31656-1149272858.opb 303012054 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 303012054 0.00 c Noise: 0.7 (70 : 100) 1098.11 c Starting searching: 1098.11 c Phase 1 ... 1802.56 c trying 743259: xc 1802.56 c Phase 2 ... 1802.56 c trying 0: c 1802.56 c Phase 3 ... 1802.56 c trying 0 again: c 1802.56 s UNKNOWN 1802.56 c 1802.56 c During searching: -1.3e-05 seconds elapsed. 1802.56 c CPU time spent: 0 seconds. 1802.56 c 1802.56 c =================================== END ===================================== 1802.56 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/node4/watcher-31656-1149272858 -o ROOT/results/node4/solver-31656-1149272858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node4/31656-1149272858/instance-31656-1149272858.opb 303012054 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.94 2/64 5308 /proc/meminfo: memFree=1796256/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=7084 CPUtime=0 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 221 0 0 0 0 0 0 0 19 0 1 0 192947782 7254016 205 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134602247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 1771 208 100 226 0 1542 0 [startup+10.0015 s] /proc/loadavg: 0.93 0.95 0.94 2/64 5308 /proc/meminfo: memFree=1792480/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=7880 CPUtime=9.99 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 1149 0 0 0 999 0 0 0 25 0 1 0 192947782 8069120 1133 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 1970 1133 105 226 0 1741 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7880 [startup+20.0075 s] /proc/loadavg: 0.94 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1791904/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=8840 CPUtime=19.99 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 1363 0 0 0 1999 0 0 0 25 0 1 0 192947782 9052160 1347 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 2210 1347 105 226 0 1981 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 8840 [startup+30.0135 s] /proc/loadavg: 0.95 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1791072/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=9632 CPUtime=30 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 1575 0 0 0 3000 0 0 0 25 0 1 0 192947782 9863168 1559 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 2408 1559 105 226 0 2179 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9632 [startup+40.0194 s] /proc/loadavg: 0.95 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1790304/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=10556 CPUtime=40 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 1785 0 0 0 4000 0 0 0 25 0 1 0 192947782 10809344 1769 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 2639 1769 105 226 0 2410 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10556 [startup+50.0264 s] /proc/loadavg: 0.96 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1789408/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=11348 CPUtime=50 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 1999 0 0 0 5000 0 0 0 25 0 1 0 192947782 11620352 1983 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 2837 1983 105 226 0 2608 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 11348 [startup+60.0324 s] /proc/loadavg: 0.97 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1788576/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=12140 CPUtime=60.01 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 2211 0 0 0 6000 1 0 0 25 0 1 0 192947782 12431360 2195 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 3035 2195 105 226 0 2806 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 12140 [startup+70.0383 s] /proc/loadavg: 0.97 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1787744/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=13064 CPUtime=70.01 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 2423 0 0 0 7000 1 0 0 25 0 1 0 192947782 13377536 2407 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 3266 2407 105 226 0 3037 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 13064 [startup+80.0443 s] /proc/loadavg: 0.98 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1786720/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=14112 CPUtime=80.02 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 2739 0 0 0 8001 1 0 0 25 0 1 0 192947782 14450688 2657 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 3528 2657 105 226 0 3299 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 14112 [startup+90.0503 s] /proc/loadavg: 0.98 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1785824/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=14904 CPUtime=90.02 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 2957 0 0 0 9001 1 0 0 25 0 1 0 192947782 15261696 2875 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 3726 2875 105 226 0 3497 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 14904 [startup+100.056 s] /proc/loadavg: 0.98 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1785056/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=15696 CPUtime=100.02 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 3170 0 0 0 10001 1 0 0 25 0 1 0 192947782 16072704 3088 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 3924 3088 105 226 0 3695 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 15696 [startup+110.063 s] /proc/loadavg: 0.98 0.96 0.94 2/64 5308 /proc/meminfo: memFree=1784224/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=16488 CPUtime=110.02 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 3383 0 0 0 11001 1 0 0 25 0 1 0 192947782 16883712 3301 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 4122 3301 105 226 0 3893 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 16488 [startup+120.069 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1783328/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=17412 CPUtime=120.02 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 3595 0 0 0 12001 1 0 0 25 0 1 0 192947782 17829888 3513 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 4353 3513 105 226 0 4124 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 17412 [startup+130.075 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1782496/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=18204 CPUtime=130.04 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 3809 0 0 0 13002 2 0 0 25 0 1 0 192947782 18640896 3727 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 4551 3727 105 226 0 4322 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 18204 [startup+140.081 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1781600/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=18996 CPUtime=140.04 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 4021 0 0 0 14002 2 0 0 25 0 1 0 192947782 19451904 3939 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 4749 3939 105 226 0 4520 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 18996 [startup+150.087 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1780768/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=19788 CPUtime=150.04 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 4233 0 0 0 15002 2 0 0 25 0 1 0 192947782 20262912 4151 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 4947 4151 105 226 0 4718 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 19788 [startup+160.093 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1779936/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=21092 CPUtime=160.04 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 4575 0 0 0 16002 2 0 0 25 0 1 0 192947782 21598208 4363 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 5273 4363 105 226 0 5044 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 21092 [startup+170.099 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1779040/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=21884 CPUtime=170.04 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 4788 0 0 0 17002 2 0 0 25 0 1 0 192947782 22409216 4576 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 5471 4576 105 226 0 5242 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 21884 [startup+180.105 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1778208/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=22808 CPUtime=180.05 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 5000 0 0 0 18002 3 0 0 25 0 1 0 192947782 23355392 4788 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 5702 4788 105 226 0 5473 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 22808 [startup+190.111 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1777376/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=23600 CPUtime=190.05 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 5212 0 0 0 19002 3 0 0 25 0 1 0 192947782 24166400 5000 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 5900 5000 105 226 0 5671 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 23600 [startup+200.117 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1776544/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=24392 CPUtime=200.06 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 5424 0 0 0 20002 4 0 0 25 0 1 0 192947782 24977408 5212 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 6098 5212 105 226 0 5869 0 Current children cumulated CPU time (s) 200.06 Current children cumulated vsize (Kb) 24392 [startup+210.123 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5308 /proc/meminfo: memFree=1775648/2055920 swapFree=4181448/4192956 ################ # More data... # ################ [pid=5308] ppid=5306 vsize=188432 CPUtime=1782.6 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178234 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1782.6 Current children cumulated vsize (Kb) 188432 [startup+1784.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1783.61 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178335 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1783.61 Current children cumulated vsize (Kb) 188432 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1784.61 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178435 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1784.61 Current children cumulated vsize (Kb) 188432 [startup+1786.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1785.62 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178536 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1785.62 Current children cumulated vsize (Kb) 188432 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1786.62 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178636 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1786.62 Current children cumulated vsize (Kb) 188432 [startup+1788.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1787.63 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178737 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1787.63 Current children cumulated vsize (Kb) 188432 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1788.63 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178837 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1788.63 Current children cumulated vsize (Kb) 188432 [startup+1790.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1789.64 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 178938 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1789.64 Current children cumulated vsize (Kb) 188432 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1790.64 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179038 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1790.64 Current children cumulated vsize (Kb) 188432 [startup+1792.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1791.65 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179139 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1791.65 Current children cumulated vsize (Kb) 188432 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1792.65 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179239 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1792.65 Current children cumulated vsize (Kb) 188432 [startup+1794.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1793.66 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179340 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1793.66 Current children cumulated vsize (Kb) 188432 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1794.66 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179440 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605259 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1794.66 Current children cumulated vsize (Kb) 188432 [startup+1796.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1795.67 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179541 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1795.67 Current children cumulated vsize (Kb) 188432 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1796.67 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179641 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1796.67 Current children cumulated vsize (Kb) 188432 [startup+1798.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1797.67 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179741 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1797.67 Current children cumulated vsize (Kb) 188432 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1798.68 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179842 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1798.68 Current children cumulated vsize (Kb) 188432 [startup+1800.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1799.68 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 179942 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1799.68 Current children cumulated vsize (Kb) 188432 [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1800.69 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 180043 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 188432 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.97 0.94 2/64 5310 /proc/meminfo: memFree=1613096/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1800.69 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 180043 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1800.69 Current children cumulated vsize (Kb) 188432 Sending SIGTERM to -5308 Sleeping 2 seconds [startup+1802.16 s] /proc/loadavg: 0.99 0.97 0.94 2/65 5311 /proc/meminfo: memFree=1613088/2055920 swapFree=4181448/4192956 [pid=5308] ppid=5306 vsize=188432 CPUtime=1801.7 /proc/5308/stat : 5308 (wildcat-rnp) R 5306 5308 5262 0 -1 4194304 47753 0 0 0 180144 26 0 0 25 0 1 0 192947782 192954368 45914 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/5308/statm: 47108 45914 117 226 0 46879 0 Current children cumulated CPU time (s) 1801.7 Current children cumulated vsize (Kb) 188432 Child status: 0 Real time (s): 1802.6 CPU time (s): 1802.14 CPU user time (s): 1801.84 CPU system time (s): 0.294955 CPU usage (%): 99.9744 Max. virtual memory (cumulated for all children) (Kb): 188464
Begin job on node4 on Fri Jun 2 18:27:39 UTC 2006 FILE ID= 31656-1149272858 PBS_JOBID= 299054 BENCH NAME= ROOT/tmp/node4/31656-1149272858/instance-31656-1149272858.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node4/31656-1149272858/instance-31656-1149272858.opb 303012054 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-31656-1149272858 -o ROOT/results/node4/solver-31656-1149272858 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node4/31656-1149272858/instance-31656-1149272858.opb 303012054 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= 093bff5ffdc26fbd8afb9be10c9fedc9 RANDOM SEED= 303012054 /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: 1796656 kB Buffers: 16992 kB Cached: 181704 kB SwapCached: 3264 kB Active: 50496 kB Inactive: 156980 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1796656 kB SwapTotal: 4192956 kB SwapFree: 4181448 kB Dirty: 164 kB Writeback: 0 kB Mapped: 14816 kB Slab: 37732 kB Committed_AS: 262704 kB PageTables: 1500 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jun 2 18:57:42 UTC 2006