Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 2006/05 | ? | 1800.03 | 1800.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_17.opb |
MD5SUM | 642c38c9f16ba47e1145e44f5259b53a |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 262 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 262 |
Optimality of the best value was proved | NO |
Number of variables | 7089 |
Total number of constraints | 13888 |
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 | 13888 |
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 | 2621 |
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.02 c Time Limit set via PBTIMEOUT to 1800 0.04 c INFO: OSL Context initialized. 2.10 c Initial problem consists of 7089 variables and 13888 constraints. 5.29 c No problem reductions applied in OPT. instance. 5.29 c preprocess terminated. Elapsed time: 5.253 5.29 c After prepocess the problem consists of 7089 variables and 13888 constraints. 5.29 c Initial Lower Bound: 0 16.92 c Restart #1 #Var: 7089 LB: 0 @ 16.879 42.65 c Restart #2 #Var: 7089 LB: 0 @ 42.606 82.71 c Restart #3 #Var: 7089 LB: 0 @ 82.659 127.38 c Restart #4 #Var: 7089 LB: 0 @ 127.31 195.14 c Restart #5 #Var: 7089 LB: 0 @ 195.05 282.59 c Restart #6 #Var: 7089 LB: 0 @ 282.49 382.99 c Restart #7 #Var: 7089 LB: 0 @ 382.86 503.76 c Restart #8 #Var: 7089 LB: 0 @ 503.6 618.28 c Restart #9 #Var: 7089 LB: 0 @ 618.09 660.91 c Restart #10 #Var: 7089 LB: 0 @ 660.72 714.67 c Restart #11 #Var: 7089 LB: 0 @ 714.46 755.57 c Restart #12 #Var: 7089 LB: 0 @ 755.35 832.82 c Restart #13 #Var: 7089 LB: 0 @ 832.58 935.41 c CHANGE Heuristic... 935.41 c Restart #0 #Var: 7089 LB: 0 @ 935.15 956.35 c Restart #1 #Var: 7089 LB: 0 @ 956.08 961.45 c Restart #2 #Var: 7089 LB: 0 @ 961.18 982.44 c Restart #3 #Var: 7089 LB: 0 @ 982.16 997.39 c Restart #4 #Var: 7089 LB: 0 @ 997.11 1011.01 c Restart #5 #Var: 7089 LB: 0 @ 1010.7 1033.26 c Restart #6 #Var: 7089 LB: 0 @ 1033 1053.85 c Restart #7 #Var: 7089 LB: 0 @ 1053.6 1097.30 c Restart #8 #Var: 7089 LB: 0 @ 1097 1139.00 c Restart #9 #Var: 7089 LB: 0 @ 1138.7 1156.36 c Restart #10 #Var: 7089 LB: 0 @ 1156 1194.05 c Restart #11 #Var: 7089 LB: 0 @ 1193.7 1260.79 c Restart #12 #Var: 7089 LB: 0 @ 1260.5 1289.04 c Restart #13 #Var: 7089 LB: 0 @ 1288.7 1364.49 c Restart #14 #Var: 7089 LB: 0 @ 1364.1 1414.06 c Restart #15 #Var: 7089 LB: 0 @ 1413.7 1497.87 c Restart #16 #Var: 7089 LB: 0 @ 1497.5 1583.49 c Restart #17 #Var: 7089 LB: 0 @ 1583.1 1672.38 c Restart #18 #Var: 7089 LB: 0 @ 1671.9 1742.10 c Restart #19 #Var: 7089 LB: 0 @ 1741.5 1800.58 s UNKNOWN 1800.58 c Exit Code: 0 1800.58 c Total time: 1800 s
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/node48/watcher-46592-1154068391 -o ROOT/results/node48/solver-46592-1154068391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/46592-1154068391/instance-46592-1154068391.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 1.04 1.01 0.99 3/64 23974 /proc/meminfo: memFree=813384/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=2948 CPUtime=0 /proc/23974/stat : 23974 (bsolo) D 23972 23974 23925 0 -1 0 50 0 1 0 0 0 0 0 18 0 1 0 153709902 3018752 34 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 3531684 0 0 4096 0 18446744071563608240 0 0 17 1 0 0 /proc/23974/statm: 737 34 26 55 0 38 0 [startup+10.0019 s] /proc/loadavg: 1.03 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760840/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=55724 CPUtime=9.96 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 12883 0 10 0 990 6 0 0 25 0 1 0 153709902 57061376 12766 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 13931 12766 295 55 0 12823 0 Current children cumulated CPU time (s) 9.96 Current children cumulated vsize (Kb) 55724 [startup+20.0089 s] /proc/loadavg: 1.02 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760840/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56020 CPUtime=19.96 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 12938 0 10 0 1990 6 0 0 25 0 1 0 153709902 57364480 12821 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14005 12821 296 55 0 12897 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 56020 [startup+30.0148 s] /proc/loadavg: 1.02 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760776/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56152 CPUtime=29.97 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 12977 0 10 0 2990 7 0 0 25 0 1 0 153709902 57499648 12860 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533972 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14038 12860 296 55 0 12930 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 56152 [startup+40.0207 s] /proc/loadavg: 1.02 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760648/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56284 CPUtime=39.97 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13029 0 10 0 3990 7 0 0 25 0 1 0 153709902 57634816 12912 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14071 12912 296 55 0 12963 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 56284 [startup+50.0266 s] /proc/loadavg: 1.01 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760456/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56416 CPUtime=49.97 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13069 0 10 0 4990 7 0 0 25 0 1 0 153709902 57769984 12952 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14104 12952 296 55 0 12996 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 56416 [startup+60.0326 s] /proc/loadavg: 1.01 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760392/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56680 CPUtime=59.97 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13110 0 10 0 5990 7 0 0 25 0 1 0 153709902 58040320 12993 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14170 12993 296 55 0 13062 0 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 56680 [startup+70.0395 s] /proc/loadavg: 1.01 1.01 0.99 2/64 23974 /proc/meminfo: memFree=760200/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56812 CPUtime=69.98 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13153 0 10 0 6991 7 0 0 25 0 1 0 153709902 58175488 13036 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14203 13036 296 55 0 13095 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 56812 [startup+80.0464 s] /proc/loadavg: 1.01 1.00 0.99 2/64 23974 /proc/meminfo: memFree=760008/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=56944 CPUtime=79.98 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13197 0 10 0 7991 7 0 0 25 0 1 0 153709902 58310656 13080 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534790 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14236 13080 296 55 0 13128 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 56944 [startup+90.0523 s] /proc/loadavg: 1.01 1.00 0.99 2/64 23974 /proc/meminfo: memFree=759816/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=57208 CPUtime=89.98 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13243 0 10 0 8991 7 0 0 25 0 1 0 153709902 58580992 13126 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14302 13126 296 55 0 13194 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 57208 [startup+100.058 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=759624/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=57340 CPUtime=99.99 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13287 0 10 0 9992 7 0 0 25 0 1 0 153709902 58716160 13170 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14335 13170 296 55 0 13227 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 57340 [startup+110.064 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=759432/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=57604 CPUtime=110 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13340 0 10 0 10992 8 0 0 25 0 1 0 153709902 58986496 13223 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537637 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14401 13223 296 55 0 13293 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 57604 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=759176/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=57736 CPUtime=120 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13397 0 10 0 11992 8 0 0 25 0 1 0 153709902 59121664 13280 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540561 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14434 13280 296 55 0 13326 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 57736 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758984/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58000 CPUtime=130.01 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13444 0 10 0 12993 8 0 0 25 0 1 0 153709902 59392000 13327 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14500 13327 296 55 0 13392 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 58000 [startup+140.082 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758792/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58132 CPUtime=140.01 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13495 0 10 0 13993 8 0 0 25 0 1 0 153709902 59527168 13378 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14533 13378 296 55 0 13425 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 58132 [startup+150.088 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758600/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58396 CPUtime=150.01 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13534 0 10 0 14993 8 0 0 25 0 1 0 153709902 59797504 13417 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14599 13417 296 55 0 13491 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 58396 [startup+160.094 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758472/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58396 CPUtime=160.01 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13564 0 10 0 15993 8 0 0 25 0 1 0 153709902 59797504 13447 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14599 13447 296 55 0 13491 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 58396 [startup+170.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758408/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58660 CPUtime=170.01 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13602 0 10 0 16993 8 0 0 25 0 1 0 153709902 60067840 13485 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14665 13485 296 55 0 13557 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 58660 [startup+180.106 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758280/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58792 CPUtime=180.02 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13635 0 10 0 17994 8 0 0 25 0 1 0 153709902 60203008 13518 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14698 13518 296 55 0 13590 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 58792 [startup+190.112 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=758088/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=58924 CPUtime=190.02 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13676 0 10 0 18994 8 0 0 25 0 1 0 153709902 60338176 13559 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14731 13559 296 55 0 13623 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 58924 [startup+200.117 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 /proc/meminfo: memFree=757896/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=59056 CPUtime=200.03 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 13720 0 10 0 19994 9 0 0 25 0 1 0 153709902 60473344 13603 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 14764 13603 296 55 0 13656 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 59056 [startup+210.123 s] /proc/loadavg: 1.00 1.00 0.99 2/64 23974 ################ # More data... # ################ Current children cumulated CPU time (s) 1760.52 Current children cumulated vsize (Kb) 113788 [startup+1771.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=702344/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114052 CPUtime=1770.53 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27520 0 10 0 177011 42 0 0 25 0 1 0 153709902 116789248 27403 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28513 27403 296 55 0 27405 0 Current children cumulated CPU time (s) 1770.53 Current children cumulated vsize (Kb) 114052 [startup+1781.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701896/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114580 CPUtime=1780.53 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27629 0 10 0 178011 42 0 0 25 0 1 0 153709902 117329920 27512 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28645 27512 296 55 0 27537 0 Current children cumulated CPU time (s) 1780.53 Current children cumulated vsize (Kb) 114580 [startup+1782.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701832/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114580 CPUtime=1781.53 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27640 0 10 0 178111 42 0 0 25 0 1 0 153709902 117329920 27523 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28645 27523 296 55 0 27537 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 114580 [startup+1783.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701832/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114580 CPUtime=1782.54 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27650 0 10 0 178212 42 0 0 25 0 1 0 153709902 117329920 27533 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28645 27533 296 55 0 27537 0 Current children cumulated CPU time (s) 1782.54 Current children cumulated vsize (Kb) 114580 [startup+1784.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701768/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114712 CPUtime=1783.54 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27663 0 10 0 178312 42 0 0 25 0 1 0 153709902 117465088 27546 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537565 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28678 27546 296 55 0 27570 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 114712 [startup+1785.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701704/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114712 CPUtime=1784.55 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27673 0 10 0 178413 42 0 0 25 0 1 0 153709902 117465088 27556 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28678 27556 296 55 0 27570 0 Current children cumulated CPU time (s) 1784.55 Current children cumulated vsize (Kb) 114712 [startup+1786.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701704/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114712 CPUtime=1785.55 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27682 0 10 0 178513 42 0 0 25 0 1 0 153709902 117465088 27565 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541593 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28678 27565 296 55 0 27570 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 114712 [startup+1787.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701640/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114844 CPUtime=1786.56 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27690 0 10 0 178614 42 0 0 25 0 1 0 153709902 117600256 27573 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28711 27573 296 55 0 27603 0 Current children cumulated CPU time (s) 1786.56 Current children cumulated vsize (Kb) 114844 [startup+1788.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701640/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114844 CPUtime=1787.56 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27695 0 10 0 178714 42 0 0 25 0 1 0 153709902 117600256 27578 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540723 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28711 27578 296 55 0 27603 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 114844 [startup+1789.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701576/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114844 CPUtime=1788.57 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27704 0 10 0 178815 42 0 0 25 0 1 0 153709902 117600256 27587 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28711 27587 296 55 0 27603 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 114844 [startup+1790.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701576/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114844 CPUtime=1789.57 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27710 0 10 0 178915 42 0 0 25 0 1 0 153709902 117600256 27593 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134541333 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28711 27593 296 55 0 27603 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 114844 [startup+1791.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701512/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114844 CPUtime=1790.57 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27721 0 10 0 179015 42 0 0 25 0 1 0 153709902 117600256 27604 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28711 27604 296 55 0 27603 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 114844 [startup+1792.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701512/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114976 CPUtime=1791.58 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27730 0 10 0 179116 42 0 0 25 0 1 0 153709902 117735424 27613 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540691 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28744 27613 296 55 0 27636 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 114976 [startup+1793.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701448/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114976 CPUtime=1792.58 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27738 0 10 0 179216 42 0 0 25 0 1 0 153709902 117735424 27621 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134540688 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28744 27621 296 55 0 27636 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 114976 [startup+1794.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701384/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=114976 CPUtime=1793.59 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27747 0 10 0 179317 42 0 0 25 0 1 0 153709902 117735424 27630 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28744 27630 296 55 0 27636 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 114976 [startup+1795.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701384/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115108 CPUtime=1794.59 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27756 0 10 0 179417 42 0 0 25 0 1 0 153709902 117870592 27639 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28777 27639 296 55 0 27669 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 115108 [startup+1796.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701384/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115108 CPUtime=1795.6 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27760 0 10 0 179518 42 0 0 25 0 1 0 153709902 117870592 27643 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28777 27643 296 55 0 27669 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 115108 [startup+1797.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701320/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115108 CPUtime=1796.6 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27766 0 10 0 179618 42 0 0 25 0 1 0 153709902 117870592 27649 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28777 27649 296 55 0 27669 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 115108 [startup+1798.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701256/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115108 CPUtime=1797.61 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27778 0 10 0 179719 42 0 0 25 0 1 0 153709902 117870592 27661 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134537841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28777 27661 296 55 0 27669 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 115108 [startup+1799.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701256/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115108 CPUtime=1798.61 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27785 0 10 0 179819 42 0 0 25 0 1 0 153709902 117870592 27668 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134542135 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28777 27668 296 55 0 27669 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 115108 [startup+1800.21 s] /proc/loadavg: 1.00 1.00 0.99 2/64 24174 /proc/meminfo: memFree=701256/2055920 swapFree=4182820/4192956 [pid=23974] ppid=23972 vsize=115240 CPUtime=1799.62 /proc/23974/stat : 23974 (bsolo) R 23972 23974 23925 0 -1 0 27789 0 10 0 179920 42 0 0 25 0 1 0 153709902 118005760 27672 18446744073709551615 134512640 134738892 4294956672 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/23974/statm: 28810 27672 296 55 0 27702 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 115240 Child status: 0 Real time (s): 1800.61 CPU time (s): 1800.03 CPU user time (s): 1799.58 CPU system time (s): 0.447931 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 115240 The end
Begin job on node48 on Fri Jul 28 06:33:11 UTC 2006 FILE ID= 46592-1154068391 PBS_JOBID= 882575 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_17.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/46592-1154068391/instance-46592-1154068391.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node48/watcher-46592-1154068391 -o ROOT/results/node48/solver-46592-1154068391 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node48/46592-1154068391/instance-46592-1154068391.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= 642c38c9f16ba47e1145e44f5259b53a RANDOM SEED= 489639648 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.232 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.232 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: 813592 kB Buffers: 39456 kB Cached: 1143216 kB SwapCached: 4676 kB Active: 392232 kB Inactive: 799972 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 813592 kB SwapTotal: 4192956 kB SwapFree: 4182820 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14444 kB Slab: 36172 kB Committed_AS: 594628 kB PageTables: 1408 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node48 on Fri Jul 28 07:03:12 UTC 2006