Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
PBS 4.1L | UNSAT | 1540.66 | 1541.17 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900546417.opb |
MD5SUM | a94882f61e84be0ce1718fd53c8fd7c8 |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
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 | 319.072 |
Has Objective Function | NO |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Number of terms in the objective function | 0 |
Biggest coefficient in the objective function | 0 |
Number of bits for the biggest coefficient in the objective function | 0 |
Sum of the numbers in the objective function | 0 |
Number of bits of the sum of numbers in the objective function | 0 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 689 |
Number of bits of the biggest sum of numbers | 10 |
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 PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb ...... 1541.14 c done parsing opb. 1541.14 s UNSATISFIABLE 1541.14 c Total Run Time 1540.62
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/node53/watcher-40971-1149216155 -o ROOT/results/node53/solver-40971-1149216155 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.77 0.95 0.93 2/64 12279 /proc/meminfo: memFree=1298952/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=1400 CPUtime=0 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 152 0 0 0 0 0 0 0 18 0 1 0 187282996 1433600 135 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617263 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 350 135 100 232 0 115 0 [startup+10.0023 s] /proc/loadavg: 0.81 0.95 0.93 2/64 12279 /proc/meminfo: memFree=1286616/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=13752 CPUtime=9.99 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 3541 0 0 0 993 6 0 0 25 0 1 0 187282996 14082048 3177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550095 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 3438 3177 105 232 0 3203 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 13752 [startup+20.0084 s] /proc/loadavg: 0.84 0.95 0.93 2/64 12279 /proc/meminfo: memFree=1280280/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=25000 CPUtime=20 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 5513 0 0 0 1990 10 0 0 25 0 1 0 187282996 25600000 4764 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551993 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 6250 4764 105 232 0 6015 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 25000 [startup+30.0146 s] /proc/loadavg: 0.86 0.95 0.93 2/64 12279 /proc/meminfo: memFree=1275352/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=26212 CPUtime=30 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 6735 0 0 0 2987 13 0 0 25 0 1 0 187282996 26841088 5986 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 6553 5986 105 232 0 6318 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26212 [startup+40.0207 s] /proc/loadavg: 0.88 0.95 0.93 2/64 12279 /proc/meminfo: memFree=1271064/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=43652 CPUtime=39.99 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 7802 0 0 0 3984 15 0 0 25 0 1 0 187282996 44699648 7053 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 10913 7053 105 232 0 10678 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 43652 [startup+50.0268 s] /proc/loadavg: 0.90 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1267224/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=47860 CPUtime=50.01 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 9539 0 0 0 4982 19 0 0 25 0 1 0 187282996 49008640 8021 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 11965 8021 105 232 0 11730 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 47860 [startup+60.033 s] /proc/loadavg: 0.91 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1263384/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=48980 CPUtime=60 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 10495 0 0 0 5978 22 0 0 25 0 1 0 187282996 50155520 8977 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 12245 8977 105 232 0 12010 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 48980 [startup+70.0391 s] /proc/loadavg: 0.93 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1260824/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=49820 CPUtime=70.01 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 11131 0 0 0 6977 24 0 0 25 0 1 0 187282996 51015680 9613 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550095 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 12455 9613 105 232 0 12220 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 49820 [startup+80.0462 s] /proc/loadavg: 0.94 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1257816/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=50916 CPUtime=80.02 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 11876 0 0 0 7975 27 0 0 25 0 1 0 187282996 52137984 10358 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 12729 10358 105 232 0 12494 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 50916 [startup+90.0524 s] /proc/loadavg: 0.95 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1254680/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=51900 CPUtime=90.02 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 12654 0 0 0 8973 29 0 0 25 0 1 0 187282996 53145600 11136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 12975 11136 105 232 0 12740 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 51900 [startup+100.058 s] /proc/loadavg: 0.95 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1251864/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=52948 CPUtime=100.02 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 13361 0 0 0 9971 31 0 0 25 0 1 0 187282996 54218752 11843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 13237 11843 105 232 0 13002 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 52948 [startup+110.065 s] /proc/loadavg: 0.96 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1250008/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=53148 CPUtime=110.02 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 13821 0 0 0 10969 33 0 0 25 0 1 0 187282996 54423552 12303 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 13287 12303 105 232 0 13052 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 53148 [startup+120.071 s] /proc/loadavg: 0.97 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1247256/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=86312 CPUtime=120.02 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 14508 0 0 0 11967 35 0 0 25 0 1 0 187282996 88383488 12990 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 21578 12990 105 232 0 21343 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 86312 [startup+130.077 s] /proc/loadavg: 0.97 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1244632/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=87104 CPUtime=130.03 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 15159 0 0 0 12965 38 0 0 25 0 1 0 187282996 89194496 13641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 21776 13641 105 232 0 21541 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 87104 [startup+140.084 s] /proc/loadavg: 0.98 0.96 0.93 2/64 12279 /proc/meminfo: memFree=1242328/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=87368 CPUtime=140.03 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 15745 0 0 0 13964 39 0 0 25 0 1 0 187282996 89464832 14227 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550844 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 21842 14227 105 232 0 21607 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 87368 [startup+150.089 s] /proc/loadavg: 0.98 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1240216/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=87896 CPUtime=150.04 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 16269 0 0 0 14963 41 0 0 25 0 1 0 187282996 90005504 14751 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 21974 14751 105 232 0 21739 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 87896 [startup+160.095 s] /proc/loadavg: 0.98 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1238168/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=88488 CPUtime=160.04 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 16777 0 0 0 15962 42 0 0 25 0 1 0 187282996 90611712 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 22122 15259 105 232 0 21887 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 88488 [startup+170.101 s] /proc/loadavg: 0.98 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1236184/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=88780 CPUtime=170.04 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 17263 0 0 0 16960 44 0 0 25 0 1 0 187282996 90910720 15745 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 22195 15745 105 232 0 21960 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 88780 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1234904/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=95872 CPUtime=180.04 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19150 0 0 0 17958 46 0 0 25 0 1 0 187282996 98172928 16062 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 23968 16062 105 232 0 23733 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 95872 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1234392/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=96312 CPUtime=190.05 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19312 0 0 0 18958 47 0 0 25 0 1 0 187282996 98623488 16191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 24078 16191 105 232 0 23843 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 96312 [startup+200.121 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1233944/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=96572 CPUtime=200.05 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 19451 0 0 0 19956 49 0 0 25 0 1 0 187282996 98889728 16297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 24143 16297 105 232 0 23908 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 96572 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12279 /proc/meminfo: memFree=1232728/2055920 swapFree=4181356/4192956 ################ # More data... # ################ /proc/12279/statm: 50391 34822 105 232 0 50156 0 Current children cumulated CPU time (s) 1330.37 Current children cumulated vsize (Kb) 201564 [startup+1340.82 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1159000/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=201692 CPUtime=1340.37 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42798 0 0 0 133856 181 0 0 25 0 1 0 187282996 206532608 34859 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50423 34859 105 232 0 50188 0 Current children cumulated CPU time (s) 1340.37 Current children cumulated vsize (Kb) 201692 [startup+1350.82 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1159000/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=201692 CPUtime=1350.37 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42826 0 0 0 134855 182 0 0 25 0 1 0 187282996 206532608 34887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50423 34887 105 232 0 50188 0 Current children cumulated CPU time (s) 1350.37 Current children cumulated vsize (Kb) 201692 [startup+1360.83 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1158872/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=201692 CPUtime=1360.38 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42852 0 0 0 135855 183 0 0 25 0 1 0 187282996 206532608 34913 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50423 34913 105 232 0 50188 0 Current children cumulated CPU time (s) 1360.38 Current children cumulated vsize (Kb) 201692 [startup+1370.83 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1158680/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=201692 CPUtime=1370.37 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 42899 0 0 0 136854 183 0 0 25 0 1 0 187282996 206532608 34960 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552182 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50423 34960 105 232 0 50188 0 Current children cumulated CPU time (s) 1370.37 Current children cumulated vsize (Kb) 201692 [startup+1380.84 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1157784/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=202496 CPUtime=1380.38 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43121 0 0 0 137854 184 0 0 25 0 1 0 187282996 207355904 35182 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50624 35182 105 232 0 50389 0 Current children cumulated CPU time (s) 1380.38 Current children cumulated vsize (Kb) 202496 [startup+1390.85 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1157336/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=203352 CPUtime=1390.38 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43226 0 0 0 138854 184 0 0 25 0 1 0 187282996 208232448 35287 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50838 35287 105 232 0 50603 0 Current children cumulated CPU time (s) 1390.38 Current children cumulated vsize (Kb) 203352 [startup+1400.85 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1156952/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=203352 CPUtime=1400.39 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43346 0 0 0 139853 186 0 0 25 0 1 0 187282996 208232448 35407 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 50838 35407 105 232 0 50603 0 Current children cumulated CPU time (s) 1400.39 Current children cumulated vsize (Kb) 203352 [startup+1410.86 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1156568/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204260 CPUtime=1410.4 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43453 0 0 0 140853 187 0 0 25 0 1 0 187282996 209162240 35514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51065 35514 105 232 0 50830 0 Current children cumulated CPU time (s) 1410.4 Current children cumulated vsize (Kb) 204260 [startup+1420.87 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1156440/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1420.39 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43493 0 0 0 141852 187 0 0 25 0 1 0 187282996 209358848 35554 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35554 105 232 0 50878 0 Current children cumulated CPU time (s) 1420.39 Current children cumulated vsize (Kb) 204452 [startup+1430.87 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1156312/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1430.4 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43516 0 0 0 142852 188 0 0 25 0 1 0 187282996 209358848 35577 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35577 105 232 0 50878 0 Current children cumulated CPU time (s) 1430.4 Current children cumulated vsize (Kb) 204452 [startup+1440.88 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1156184/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1440.4 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43546 0 0 0 143851 189 0 0 25 0 1 0 187282996 209358848 35607 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35607 105 232 0 50878 0 Current children cumulated CPU time (s) 1440.4 Current children cumulated vsize (Kb) 204452 [startup+1450.88 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1155736/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1450.4 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43673 0 0 0 144851 189 0 0 25 0 1 0 187282996 209358848 35734 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35734 105 232 0 50878 0 Current children cumulated CPU time (s) 1450.4 Current children cumulated vsize (Kb) 204452 [startup+1460.89 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1155544/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1460.41 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43714 0 0 0 145851 190 0 0 25 0 1 0 187282996 209358848 35775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35775 105 232 0 50878 0 Current children cumulated CPU time (s) 1460.41 Current children cumulated vsize (Kb) 204452 [startup+1470.9 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1155480/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1470.41 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43740 0 0 0 146850 191 0 0 25 0 1 0 187282996 209358848 35801 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35801 105 232 0 50878 0 Current children cumulated CPU time (s) 1470.41 Current children cumulated vsize (Kb) 204452 [startup+1480.9 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1155352/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=204452 CPUtime=1480.42 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43765 0 0 0 147850 192 0 0 25 0 1 0 187282996 209358848 35826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51113 35826 105 232 0 50878 0 Current children cumulated CPU time (s) 1480.42 Current children cumulated vsize (Kb) 204452 [startup+1490.91 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1154840/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=205416 CPUtime=1490.41 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 43888 0 0 0 148849 192 0 0 25 0 1 0 187282996 210345984 35949 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51354 35949 105 232 0 51119 0 Current children cumulated CPU time (s) 1490.41 Current children cumulated vsize (Kb) 205416 [startup+1500.92 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1154008/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=205416 CPUtime=1500.42 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44098 0 0 0 149849 193 0 0 25 0 1 0 187282996 210345984 36159 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51354 36159 105 232 0 51119 0 Current children cumulated CPU time (s) 1500.42 Current children cumulated vsize (Kb) 205416 [startup+1510.92 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1153560/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=206440 CPUtime=1510.42 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44210 0 0 0 150848 194 0 0 25 0 1 0 187282996 211394560 36271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51610 36271 105 232 0 51375 0 Current children cumulated CPU time (s) 1510.42 Current children cumulated vsize (Kb) 206440 [startup+1520.93 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1153432/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=206440 CPUtime=1520.43 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44239 0 0 0 151848 195 0 0 25 0 1 0 187282996 211394560 36300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51610 36300 105 232 0 51375 0 Current children cumulated CPU time (s) 1520.43 Current children cumulated vsize (Kb) 206440 [startup+1530.93 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1153112/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=206440 CPUtime=1530.43 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44324 0 0 0 152848 195 0 0 25 0 1 0 187282996 211394560 36385 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51610 36385 105 232 0 51375 0 Current children cumulated CPU time (s) 1530.43 Current children cumulated vsize (Kb) 206440 [startup+1540.94 s] /proc/loadavg: 0.99 0.97 0.93 2/64 12474 /proc/meminfo: memFree=1152216/2055920 swapFree=4181356/4192956 [pid=12279] ppid=12277 vsize=207528 CPUtime=1540.43 /proc/12279/stat : 12279 (PBS4L) R 12277 12279 12234 0 -1 4194304 44536 0 0 0 153847 196 0 0 25 0 1 0 187282996 212508672 36597 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12279/statm: 51882 36597 105 232 0 51647 0 Current children cumulated CPU time (s) 1540.43 Current children cumulated vsize (Kb) 207528 Child status: 0 Real time (s): 1541.17 CPU time (s): 1540.66 CPU user time (s): 1538.67 CPU system time (s): 1.9897 CPU usage (%): 99.9674 Max. virtual memory (cumulated for all children) (Kb): 207528
Begin job on node53 on Fri Jun 2 02:42:35 UTC 2006 FILE ID= 40971-1149216155 PBS_JOBID= 294778 BENCH NAME= ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node53/watcher-40971-1149216155 -o ROOT/results/node53/solver-40971-1149216155 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node53/40971-1149216155/instance-40971-1149216155.opb 198934242 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= a94882f61e84be0ce1718fd53c8fd7c8 RANDOM SEED= 198934242 /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.249 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.249 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: 1299160 kB Buffers: 36064 kB Cached: 647784 kB SwapCached: 3632 kB Active: 350592 kB Inactive: 342256 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1299160 kB SwapTotal: 4192956 kB SwapFree: 4181356 kB Dirty: 252 kB Writeback: 0 kB Mapped: 14900 kB Slab: 49924 kB Committed_AS: 232400 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node53 on Fri Jun 2 03:08:17 UTC 2006