Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
wildcat-rnp 0.8.0 | ? (TO) | 1800.68 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-n370c.opb |
MD5SUM | c00448b3bb1fb54d1d5ecdb2bc9f967d |
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.44072 |
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 | 654121 |
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 | 654121 |
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/node62/31578-1149250157/instance-31578-1149250157.opb 830003494 0.00 c =================================== BEGIN =================================== 0.00 c 0.00 c Random Number Seed: 830003494 0.00 c Noise: 0.7 (70 : 100) 261.33 c Starting searching: 261.33 c Phase 1 ... 1801.20 c trying 654121: xxxc 1801.20 c Phase 2 ... 1801.20 c trying 0: c 1801.20 c Phase 3 ... 1801.20 c trying 0 again: c 1801.20 s UNKNOWN 1801.20 c 1801.20 c During searching: -1.3e-05 seconds elapsed. 1801.20 c CPU time spent: 0 seconds. 1801.20 c 1801.20 c =================================== END ===================================== 1801.20 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/node62/watcher-31578-1149250157 -o ROOT/results/node62/solver-31578-1149250157 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node62/31578-1149250157/instance-31578-1149250157.opb 830003494 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.96 3/64 1214 /proc/meminfo: memFree=1552272/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=6756 CPUtime=0 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 416 0 0 0 0 0 0 0 19 0 1 0 34219251 6918144 400 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135054573 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 1689 406 100 226 0 1460 0 [startup+10.0027 s] /proc/loadavg: 0.93 0.95 0.96 2/64 1214 /proc/meminfo: memFree=1548632/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=7948 CPUtime=9.99 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 1043 0 0 0 999 0 0 0 25 0 1 0 34219251 8138752 1027 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 1987 1027 105 226 0 1758 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 7948 [startup+20.0089 s] /proc/loadavg: 0.94 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1547544/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=9300 CPUtime=19.99 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 1367 0 0 0 1999 0 0 0 25 0 1 0 34219251 9523200 1351 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 2325 1351 105 226 0 2096 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 9300 [startup+30.0151 s] /proc/loadavg: 0.95 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1546328/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=10620 CPUtime=29.99 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 1686 0 0 0 2999 0 0 0 25 0 1 0 34219251 10874880 1670 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 2655 1670 105 226 0 2426 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 10620 [startup+40.0213 s] /proc/loadavg: 0.95 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1545112/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=11940 CPUtime=40 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 2007 0 0 0 3999 1 0 0 25 0 1 0 34219251 12226560 1991 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 2985 1991 105 226 0 2756 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 11940 [startup+50.0275 s] /proc/loadavg: 0.96 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1543704/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=13384 CPUtime=50 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 2394 0 0 0 4999 1 0 0 25 0 1 0 34219251 13705216 2312 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 3346 2312 105 226 0 3117 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 13384 [startup+60.0337 s] /proc/loadavg: 0.97 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1542552/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=14572 CPUtime=60.01 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 2716 0 0 0 6000 1 0 0 25 0 1 0 34219251 14921728 2634 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 3643 2634 105 226 0 3414 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 14572 [startup+70.0399 s] /proc/loadavg: 0.97 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1541272/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=15892 CPUtime=70.01 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 3035 0 0 0 7000 1 0 0 25 0 1 0 34219251 16273408 2953 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 3973 2953 105 226 0 3744 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 15892 [startup+80.0461 s] /proc/loadavg: 0.98 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1539992/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=17080 CPUtime=80.01 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 3359 0 0 0 7999 2 0 0 25 0 1 0 34219251 17489920 3277 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 4270 3277 105 226 0 4041 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 17080 [startup+90.0523 s] /proc/loadavg: 0.98 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1538712/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=18268 CPUtime=90.01 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 3677 0 0 0 8999 2 0 0 25 0 1 0 34219251 18706432 3595 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014921 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 4567 3595 105 226 0 4338 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 18268 [startup+100.057 s] /proc/loadavg: 0.98 0.96 0.96 2/64 1214 /proc/meminfo: memFree=1537240/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=20100 CPUtime=100.02 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 4131 0 0 0 9999 3 0 0 25 0 1 0 34219251 20582400 3919 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014956 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/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.96 2/64 1214 /proc/meminfo: memFree=1536088/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=21288 CPUtime=110.02 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 4450 0 0 0 10999 3 0 0 25 0 1 0 34219251 21798912 4238 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014929 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/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.96 2/64 1214 /proc/meminfo: memFree=1534872/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=22476 CPUtime=120.03 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 4773 0 0 0 12000 3 0 0 25 0 1 0 34219251 23015424 4561 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 5619 4561 105 226 0 5390 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 22476 [startup+130.076 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1533592/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=23796 CPUtime=130.03 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 5092 0 0 0 13000 3 0 0 25 0 1 0 34219251 24367104 4880 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 5949 4880 105 226 0 5720 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 23796 [startup+140.082 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1532248/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=24984 CPUtime=140.03 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 5414 0 0 0 14000 3 0 0 25 0 1 0 34219251 25583616 5202 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 6246 5202 105 226 0 6017 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 24984 [startup+150.088 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1530968/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=26172 CPUtime=150.03 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 5735 0 0 0 15000 3 0 0 25 0 1 0 34219251 26800128 5523 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014901 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 6543 5523 105 226 0 6314 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 26172 [startup+160.094 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1529688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=27492 CPUtime=160.04 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 6056 0 0 0 16000 4 0 0 25 0 1 0 34219251 28151808 5844 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014942 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/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.96 2/64 1214 /proc/meminfo: memFree=1528408/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=28680 CPUtime=170.04 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 6377 0 0 0 17000 4 0 0 25 0 1 0 34219251 29368320 6165 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014988 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/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.96 2/64 1214 /proc/meminfo: memFree=1527128/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=30000 CPUtime=180.05 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 6699 0 0 0 18000 5 0 0 25 0 1 0 34219251 30720000 6487 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014970 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 7500 6487 105 226 0 7271 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 30000 [startup+190.112 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1525784/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=31188 CPUtime=190.05 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 7018 0 0 0 19000 5 0 0 25 0 1 0 34219251 31936512 6806 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014908 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 7797 6806 105 226 0 7568 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 31188 [startup+200.118 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1524376/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=33400 CPUtime=200.05 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 7600 0 0 0 20000 5 0 0 25 0 1 0 34219251 34201600 7130 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 135014919 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 8350 7130 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.96 2/64 1214 /proc/meminfo: memFree=1523224/2055920 swapFree=4192036/4192956 ################ # More data... # ################ [pid=1214] ppid=1212 vsize=140924 CPUtime=1781.55 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178134 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 140924 [startup+1783.1 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1782.56 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178235 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1782.56 Current children cumulated vsize (Kb) 140924 [startup+1784.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1783.56 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178335 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605225 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 140924 [startup+1785.11 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1784.57 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178436 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 140924 [startup+1786.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1785.57 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178536 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 140924 [startup+1787.12 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1786.58 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178637 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 140924 [startup+1788.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1787.58 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178737 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 140924 [startup+1789.13 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1788.59 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178838 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1788.59 Current children cumulated vsize (Kb) 140924 [startup+1790.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1789.59 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 178938 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 140924 [startup+1791.14 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1790.59 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179038 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 140924 [startup+1792.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1791.6 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179139 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1791.6 Current children cumulated vsize (Kb) 140924 [startup+1793.15 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1792.6 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179239 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 140924 [startup+1794.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1793.61 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179340 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 140924 [startup+1795.16 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1794.61 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179440 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 140924 [startup+1796.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1795.62 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179541 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 140924 [startup+1797.17 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417688/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1796.62 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179641 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 140924 [startup+1798.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417752/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1797.63 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179742 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134598357 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 140924 [startup+1799.18 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417752/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1798.63 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179842 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1798.63 Current children cumulated vsize (Kb) 140924 [startup+1800.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417752/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1799.64 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 179943 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134601338 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 140924 [startup+1801.19 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417752/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1800.64 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 180043 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605219 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 140924 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.97 0.96 2/64 1214 /proc/meminfo: memFree=1417752/2055920 swapFree=4192036/4192956 [pid=1214] ppid=1212 vsize=140924 CPUtime=1800.65 /proc/1214/stat : 1214 (wildcat-rnp) R 1212 1214 1168 0 -1 4194304 34867 0 0 0 180044 21 0 0 25 0 1 0 34219251 144306176 33708 18446744073709551615 134512640 135438821 4294956656 18446744073709551615 134605254 0 0 4096 16386 0 0 0 17 1 0 0 /proc/1214/statm: 35231 33708 115 226 0 35002 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 140924 Sending SIGTERM to -1214 Sleeping 2 seconds Child status: 0 Real time (s): 1801.22 CPU time (s): 1800.68 CPU user time (s): 1800.44 CPU system time (s): 0.237963 CPU usage (%): 99.9697 Max. virtual memory (cumulated for all children) (Kb): 140924
Begin job on node62 on Fri Jun 2 12:09:17 UTC 2006 FILE ID= 31578-1149250157 PBS_JOBID= 298038 BENCH NAME= ROOT/tmp/node62/31578-1149250157/instance-31578-1149250157.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node62/31578-1149250157/instance-31578-1149250157.opb 830003494 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node62/watcher-31578-1149250157 -o ROOT/results/node62/solver-31578-1149250157 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user3/wildcat-rnp ROOT/tmp/node62/31578-1149250157/instance-31578-1149250157.opb 830003494 MD5SUM SOLVER= 433c0d3a0d963188fa818d869a2c809a MD5SUM BENCH= c00448b3bb1fb54d1d5ecdb2bc9f967d RANDOM SEED= 830003494 /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.225 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.225 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: 1552552 kB Buffers: 32972 kB Cached: 392060 kB SwapCached: 444 kB Active: 72812 kB Inactive: 366328 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1552552 kB SwapTotal: 4192956 kB SwapFree: 4192036 kB Dirty: 224 kB Writeback: 0 kB Mapped: 23716 kB Slab: 50228 kB Committed_AS: 191896 kB PageTables: 1476 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node62 on Fri Jun 2 12:39:18 UTC 2006