Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1800.95 | 1801.46 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_18.opb |
MD5SUM | de4cbecd7c9968d40b279ce145b888a9 |
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 | 8883 |
Total number of constraints | 17459 |
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 | 17459 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2691 |
Number of bits of the biggest sum of numbers | 12 |
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/node36/46468-1154066554/instance-46468-1154066554.opb 930344232 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 930344232 0.00 c Noise: 0.7 (70 : 100) 1.19 c Starting searching: 1.19 c Phase 1 ... 1801.40 c trying 511: xc 1801.40 c Phase 2 ... 1801.40 c trying 0: c 1801.40 c Phase 3 ... 1801.40 c trying 0 again: c 1801.40 s UNKNOWN 1801.40 c 1801.40 c During searching: -1.3e-05 seconds elapsed. 1801.40 c CPU time spent: 0 seconds. 1801.40 c 1801.40 c =================================== END ===================================== 1801.40 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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node36/watcher-46468-1154066554 -o ROOT/results/node36/solver-46468-1154066554 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node36/46468-1154066554/instance-46468-1154066554.opb 930344232 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1540376/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=6676 CPUtime=0 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 294 0 0 0 0 0 0 0 18 0 1 0 153526776 6836224 277 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134770530 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 1669 279 110 226 0 1440 0 [startup+10.0014 s] /proc/loadavg: 0.93 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254680/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=9.99 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 969 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 299316 [startup+20.0074 s] /proc/loadavg: 0.94 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254880/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=20 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 1970 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 299316 [startup+30.0134 s] /proc/loadavg: 0.95 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=30 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 2970 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 299316 [startup+40.0194 s] /proc/loadavg: 0.96 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=40 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 3970 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598581 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 299316 [startup+50.0255 s] /proc/loadavg: 0.96 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=50 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 4970 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 299316 [startup+60.0315 s] /proc/loadavg: 0.97 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=60 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 5970 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 299316 [startup+70.0375 s] /proc/loadavg: 0.97 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=70.01 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 6971 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 299316 [startup+80.0435 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=80.01 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 7971 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 299316 [startup+90.0495 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=90.01 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 8971 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 299316 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=100.02 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 9972 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 299316 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=110.02 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 10972 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 299316 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=120.02 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 11972 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598581 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 299316 [startup+130.073 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=130.03 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 12973 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 299316 [startup+140.079 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=140.03 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 13973 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 299316 [startup+150.085 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255008/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=150.03 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 14973 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 299316 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=160.04 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 15974 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 299316 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=170.04 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 16974 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 299316 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=180.04 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 17974 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 299316 [startup+190.108 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=190.05 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 18975 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 299316 [startup+200.114 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1255072/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=200.05 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 19975 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 299316 [startup+210.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 ################ # More data... # ################ /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178125 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601520 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 299316 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1782.56 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178226 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 299316 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1783.56 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178326 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134608224 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 299316 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1784.57 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178427 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 299316 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1785.57 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178527 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605279 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 299316 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1786.58 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178628 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 299316 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1787.58 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178728 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 299316 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1788.59 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178829 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 299316 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1789.59 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 178929 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 299316 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1790.59 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179029 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 299316 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1791.6 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179130 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 299316 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1792.6 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179230 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601257 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 299316 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1793.61 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179331 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601641 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 299316 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1794.61 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179431 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 299316 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1795.62 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179532 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 299316 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1796.62 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179632 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 299316 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1797.63 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179733 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 299316 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1798.63 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179833 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601136 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 299316 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1799.64 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 179934 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605227 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 299316 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1800.64 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 180034 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 299316 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 21970 /proc/meminfo: memFree=1254760/2055920 swapFree=4183160/4192956 [pid=21970] ppid=21968 vsize=299316 CPUtime=1800.65 /proc/21970/stat : 21970 (wildcat-rnp) R 21968 21970 21921 0 -1 4194304 71426 0 0 0 180035 30 0 0 25 0 1 0 153526776 306499584 71401 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134597117 0 0 4096 16386 0 0 0 17 1 0 0 /proc/21970/statm: 74829 71401 117 226 0 74600 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 299316 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child status: 0 Real time (s): 1801.46 CPU time (s): 1800.95 CPU user time (s): 1800.59 CPU system time (s): 0.362944 CPU usage (%): 99.972 Max. virtual memory (cumulated for all children) (Kb): 299316 The end
Begin job on node36 on Fri Jul 28 06:02:34 UTC 2006 FILE ID= 46468-1154066554 PBS_JOBID= 882500 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_18.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node36/46468-1154066554/instance-46468-1154066554.opb 930344232 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node36/watcher-46468-1154066554 -o ROOT/results/node36/solver-46468-1154066554 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node36/46468-1154066554/instance-46468-1154066554.opb 930344232 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= de4cbecd7c9968d40b279ce145b888a9 RANDOM SEED= 930344232 TIMEOUT= 1800 seconds /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.218 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.218 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: 1540584 kB Buffers: 19788 kB Cached: 416668 kB SwapCached: 3640 kB Active: 40452 kB Inactive: 404656 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1540584 kB SwapTotal: 4192956 kB SwapFree: 4183160 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14728 kB Slab: 56236 kB Committed_AS: 511656 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node36 on Fri Jul 28 06:32:36 UTC 2006