Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-skc 0.8.0 | ? (TO) | 1800.65 | 1801.25 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370a.opb |
MD5SUM | d7a28c2ec06d645af4379f015212128c |
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 | 8.28574 |
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 | 155000 |
Total number of constraints | 5150 |
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 | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 76 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 653755 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262143 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 653755 |
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-skc (VERSION 0.8.0-lite-skc-devel) 0.00 c Developed by L. Liuand M. Truszczynski 0.00 c Last built on Tue 23 May 2006 09:27:47 PM EDT 0.00 c 0.00 c ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node9/32677-1149249379/instance-32677-1149249379.opb 507946518 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 507946518 0.00 c Noise: 0.1 (10 : 100) 261.31 c Starting searching: 261.31 c Phase 1 ... 944.47 c trying 653755: xxxxxxxxxxc 944.47 c Phase 2 ... 1801.22 c trying 0: xc 1801.22 c Phase 3 ... 1801.22 c trying 0 again: c 1801.22 s UNKNOWN 1801.22 c 1801.22 c During searching: -1.4e-05 seconds elapsed. 1801.22 c CPU time spent: 0 seconds. 1801.22 c 1801.22 c =================================== END ===================================== 1801.22 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/node9/watcher-32677-1149249379 -o ROOT/results/node9/solver-32677-1149249379 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node9/32677-1149249379/instance-32677-1149249379.opb 507946518 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.90 2/64 11080 /proc/meminfo: memFree=1306704/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=6756 CPUtime=0 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 223 0 0 0 0 0 0 0 18 0 1 0 190600205 6918144 208 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134602247 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 1689 211 100 226 0 1460 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.90 2/64 11080 /proc/meminfo: memFree=1303120/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=7948 CPUtime=9.99 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 1043 0 0 0 999 0 0 0 25 0 1 0 190600205 8138752 1027 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 1987 1027 105 226 0 1758 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7948 [startup+20.0088 s] /proc/loadavg: 0.94 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1301976/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=9300 CPUtime=19.99 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 1367 0 0 0 1999 0 0 0 25 0 1 0 190600205 9523200 1351 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 2325 1351 105 226 0 2096 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9300 [startup+30.016 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1300760/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=10620 CPUtime=29.99 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 1686 0 0 0 2999 0 0 0 25 0 1 0 190600205 10874880 1670 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 2655 1670 105 226 0 2426 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 10620 [startup+40.0221 s] /proc/loadavg: 0.95 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1299544/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=11940 CPUtime=40 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 2008 0 0 0 4000 0 0 0 25 0 1 0 190600205 12226560 1992 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 2985 1992 105 226 0 2756 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 11940 [startup+50.0283 s] /proc/loadavg: 0.96 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1298136/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=13384 CPUtime=50.01 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 2394 0 0 0 5000 1 0 0 25 0 1 0 190600205 13705216 2312 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 3346 2312 105 226 0 3117 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 13384 [startup+60.0344 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1296984/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=14572 CPUtime=60.01 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 2716 0 0 0 6000 1 0 0 25 0 1 0 190600205 14921728 2634 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 3643 2634 105 226 0 3414 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 14572 [startup+70.0406 s] /proc/loadavg: 0.97 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1295704/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=15892 CPUtime=70.01 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 3035 0 0 0 6999 2 0 0 25 0 1 0 190600205 16273408 2953 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 3973 2953 105 226 0 3744 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15892 [startup+80.0467 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1294424/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=17080 CPUtime=80.02 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 3359 0 0 0 8000 2 0 0 25 0 1 0 190600205 17489920 3277 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 4270 3277 105 226 0 4041 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 17080 [startup+90.0529 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1293144/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=18268 CPUtime=90.02 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 3677 0 0 0 9000 2 0 0 25 0 1 0 190600205 18706432 3595 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 4567 3595 105 226 0 4338 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 18268 [startup+100.058 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1291736/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=20100 CPUtime=100.02 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 4131 0 0 0 10000 2 0 0 25 0 1 0 190600205 20582400 3919 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 5025 3919 105 226 0 4796 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 20100 [startup+110.064 s] /proc/loadavg: 0.98 0.96 0.91 2/64 11080 /proc/meminfo: memFree=1290584/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=21288 CPUtime=110.02 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 4450 0 0 0 11000 2 0 0 25 0 1 0 190600205 21798912 4238 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 5322 4238 105 226 0 5093 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 21288 [startup+120.07 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1289304/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=22476 CPUtime=120.02 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 4773 0 0 0 12000 2 0 0 25 0 1 0 190600205 23015424 4561 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 5619 4561 105 226 0 5390 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 22476 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1288024/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=23796 CPUtime=130.03 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 5092 0 0 0 13000 3 0 0 25 0 1 0 190600205 24367104 4880 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 5949 4880 105 226 0 5720 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 23796 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1286680/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=24984 CPUtime=140.03 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 5414 0 0 0 14000 3 0 0 25 0 1 0 190600205 25583616 5202 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 6246 5202 105 226 0 6017 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24984 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1285400/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=26172 CPUtime=150.04 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 5735 0 0 0 15001 3 0 0 25 0 1 0 190600205 26800128 5523 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135002082 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 6543 5523 105 226 0 6314 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 26172 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1284120/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=27492 CPUtime=160.04 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 6056 0 0 0 16001 3 0 0 25 0 1 0 190600205 28151808 5844 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 6873 5844 105 226 0 6644 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 27492 [startup+170.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1282840/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=28680 CPUtime=170.04 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 6377 0 0 0 17001 3 0 0 25 0 1 0 190600205 29368320 6165 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 7170 6165 105 226 0 6941 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 28680 [startup+180.106 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1281560/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=30000 CPUtime=180.04 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 6699 0 0 0 18001 3 0 0 25 0 1 0 190600205 30720000 6487 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 7500 6487 105 226 0 7271 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 30000 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1280280/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=31188 CPUtime=190.04 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 7017 0 0 0 19001 3 0 0 25 0 1 0 190600205 31936512 6805 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 7797 6805 105 226 0 7568 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 31188 [startup+200.119 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1278872/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=33400 CPUtime=200.05 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 7599 0 0 0 20001 4 0 0 25 0 1 0 190600205 34201600 7129 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 8350 7129 105 226 0 8121 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 33400 [startup+210.125 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11080 /proc/meminfo: memFree=1277656/2055920 swapFree=4180864/4192956 ################ # More data... # ################ [pid=11080] ppid=11078 vsize=140924 CPUtime=1781.47 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178128 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1781.47 Current children cumulated vsize (Kb) 140924 [startup+1783.08 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1782.48 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178229 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 140924 [startup+1784.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1783.48 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178329 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 140924 [startup+1785.09 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1784.49 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178430 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1784.49 Current children cumulated vsize (Kb) 140924 [startup+1786.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1785.49 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178530 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134868508 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 140924 [startup+1787.1 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1786.5 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178631 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1786.5 Current children cumulated vsize (Kb) 140924 [startup+1788.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1787.5 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178731 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 140924 [startup+1789.11 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1788.51 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178832 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1788.51 Current children cumulated vsize (Kb) 140924 [startup+1790.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1789.51 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 178932 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1789.51 Current children cumulated vsize (Kb) 140924 [startup+1791.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1790.52 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179033 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1790.52 Current children cumulated vsize (Kb) 140924 [startup+1792.13 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1791.52 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179133 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607710 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1791.52 Current children cumulated vsize (Kb) 140924 [startup+1793.13 s] /proc/loadavg: 0.99 0.97 0.91 3/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1792.53 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179234 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605251 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1792.53 Current children cumulated vsize (Kb) 140924 [startup+1794.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1793.53 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179334 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1793.53 Current children cumulated vsize (Kb) 140924 [startup+1795.14 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1794.53 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179434 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134607652 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 140924 [startup+1796.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1795.54 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179535 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1795.54 Current children cumulated vsize (Kb) 140924 [startup+1797.15 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1796.54 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179635 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 140924 [startup+1798.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1797.55 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179736 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1797.55 Current children cumulated vsize (Kb) 140924 [startup+1799.16 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1798.55 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179836 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1798.55 Current children cumulated vsize (Kb) 140924 [startup+1800.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1799.56 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 179937 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1799.56 Current children cumulated vsize (Kb) 140924 [startup+1801.17 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1800.56 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 180037 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605266 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 140924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.18 s] /proc/loadavg: 0.99 0.97 0.91 2/64 11274 /proc/meminfo: memFree=1172192/2055920 swapFree=4180864/4192956 [pid=11080] ppid=11078 vsize=140924 CPUtime=1800.57 /proc/11080/stat : 11080 (wildcat-skc) R 11078 11080 11034 0 -1 4194304 34869 0 0 0 180038 19 0 0 25 0 1 0 190600205 144306176 33710 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/11080/statm: 35231 33710 117 226 0 35002 0 Current children cumulated CPU time (s) 1800.57 Current children cumulated vsize (Kb) 140924 Sending SIGTERM to -11080 Sleeping 2 seconds Child status: 0 Real time (s): 1801.25 CPU time (s): 1800.65 CPU user time (s): 1800.43 CPU system time (s): 0.219966 CPU usage (%): 99.9665 Max. virtual memory (cumulated for all children) (Kb): 140924
Begin job on node9 on Fri Jun 2 11:56:19 UTC 2006 FILE ID= 32677-1149249379 PBS_JOBID= 297982 BENCH NAME= ROOT/tmp/node9/32677-1149249379/instance-32677-1149249379.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node9/32677-1149249379/instance-32677-1149249379.opb 507946518 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node9/watcher-32677-1149249379 -o ROOT/results/node9/solver-32677-1149249379 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-skc ROOT/tmp/node9/32677-1149249379/instance-32677-1149249379.opb 507946518 MD5SUM SOLVER= e3d27fcb27e96c4c5fdaee74465b047d MD5SUM BENCH= d7a28c2ec06d645af4379f015212128c RANDOM SEED= 507946518 /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.234 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.234 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: 1306912 kB Buffers: 31076 kB Cached: 649860 kB SwapCached: 3892 kB Active: 289388 kB Inactive: 400412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1306912 kB SwapTotal: 4192956 kB SwapFree: 4180864 kB Dirty: 184 kB Writeback: 0 kB Mapped: 14720 kB Slab: 45192 kB Committed_AS: 240000 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 node9 on Fri Jun 2 12:26:20 UTC 2006