Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 288.262 | 288.386 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB06/ namasivayam/tsp/normalized-t3002.11tsp11.1900669309.opb |
MD5SUM | e3a1beab9d06c0cee32a93d550c9a1ac |
Bench Category | SATUNSAT-SMALLINT-LIN (no optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 0 |
Best CPU time to get the best result obtained on this benchmark | 4.87226 |
Has Objective Function | NO |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | NO |
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 | 645 |
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 Time Limit set via PBTIMEOUT to 1800 0.01 c INFO: OSL Context initialized. 0.06 c Initial problem consists of 231 variables and 2707 constraints. 0.08 c Using non-optimization problem switches. 0.08 c No problem reductions applied in OPT. instance. 0.08 c preprocess terminated. Elapsed time: 0.068 0.08 c After prepocess the problem consists of 231 variables and 2586 constraints. 0.13 c Restart #1 #Var: 231 LB: 0 @ 0.123 0.27 c Restart #2 #Var: 231 LB: 0 @ 0.26 0.51 c Restart #3 #Var: 231 LB: 0 @ 0.502 0.74 c Restart #4 #Var: 231 LB: 0 @ 0.73 0.92 c Restart #5 #Var: 231 LB: 0 @ 0.916 1.14 c Restart #6 #Var: 231 LB: 0 @ 1.133 1.44 c Restart #7 #Var: 231 LB: 0 @ 1.432 1.75 c Restart #8 #Var: 231 LB: 0 @ 1.743 2.27 c Restart #9 #Var: 231 LB: 0 @ 2.26 2.91 c Restart #10 #Var: 231 LB: 0 @ 2.904 3.49 c Restart #11 #Var: 231 LB: 0 @ 3.477 4.11 c Restart #12 #Var: 231 LB: 0 @ 4.098 4.79 c Restart #13 #Var: 231 LB: 0 @ 4.779 5.61 c Restart #14 #Var: 231 LB: 0 @ 5.599 6.54 c Restart #15 #Var: 231 LB: 0 @ 6.531 7.84 c Restart #16 #Var: 231 LB: 0 @ 7.824 9.50 c Restart #17 #Var: 231 LB: 0 @ 9.485 11.92 c Restart #18 #Var: 231 LB: 0 @ 11.905 13.89 c Restart #19 #Var: 231 LB: 0 @ 13.871 16.74 c Restart #20 #Var: 231 LB: 0 @ 16.72 19.41 c Restart #21 #Var: 231 LB: 0 @ 19.39 24.06 c Restart #22 #Var: 231 LB: 0 @ 24.035 28.73 c Restart #23 #Var: 231 LB: 0 @ 28.71 31.85 c Restart #24 #Var: 231 LB: 0 @ 31.831 37.35 c Restart #25 #Var: 231 LB: 0 @ 37.325 43.88 c Restart #26 #Var: 231 LB: 0 @ 43.852 50.19 c Restart #27 #Var: 231 LB: 0 @ 50.163 56.70 c Restart #28 #Var: 231 LB: 0 @ 56.666 64.70 c Restart #29 #Var: 231 LB: 0 @ 64.664 74.76 c Restart #30 #Var: 231 LB: 0 @ 74.716 81.88 c Restart #31 #Var: 231 LB: 0 @ 81.836 90.29 c Restart #32 #Var: 231 LB: 0 @ 90.24 100.78 c Restart #33 #Var: 231 LB: 0 @ 100.73 111.36 c Restart #34 #Var: 231 LB: 0 @ 111.31 123.97 c Restart #35 #Var: 231 LB: 0 @ 123.91 135.26 c Restart #36 #Var: 231 LB: 0 @ 135.2 148.39 c Restart #37 #Var: 231 LB: 0 @ 148.32 160.06 c Restart #38 #Var: 231 LB: 0 @ 159.99 177.14 c Restart #39 #Var: 231 LB: 0 @ 177.06 193.51 c Restart #40 #Var: 231 LB: 0 @ 193.43 216.18 c Restart #41 #Var: 231 LB: 0 @ 216.09 233.78 c Restart #42 #Var: 231 LB: 0 @ 233.68 252.25 c Restart #43 #Var: 231 LB: 0 @ 252.14 271.24 c Restart #44 #Var: 231 LB: 0 @ 271.13 288.36 c Sol. found (all assignments made)... 288.36 o 0 288.36 c NEW SOLUTION FOUND: 0 @ 288.24 288.36 s SATISFIABLE 288.36 c Cost: 0 288.36 v -x1 -x12 -x2 -x13 -x3 x14 -x4 -x15 -x5 -x16 -x6 -x17 -x7 -x18 -x8 -x19 x9 -x20 -x10 -x21 -x11 -x22 -x23 -x24 -x25 -x26 -x27 -x28 288.36 v x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 x44 -x45 x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 288.36 v -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 x65 -x66 -x67 -x68 -x69 -x70 x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 288.36 v -x81 -x82 -x83 -x84 x85 -x86 -x87 -x88 -x89 -x90 -x91 -x92 -x93 x94 -x95 -x96 -x97 -x98 -x99 x100 -x101 -x102 -x103 -x104 -x105 288.36 v -x106 -x107 -x108 -x109 -x110 -x111 -x112 -x113 x114 -x115 -x116 -x117 -x118 -x119 -x120 -x121 -x132 -x142 -x152 -x162 x172 288.36 v -x182 -x192 -x202 -x212 -x222 -x122 -x143 -x153 -x163 -x173 -x183 -x193 -x203 -x213 x223 -x123 -x133 -x154 -x164 -x174 -x184 288.36 v -x194 x204 -x214 -x224 x124 -x134 -x144 -x165 -x175 -x185 -x195 -x205 -x215 -x225 -x125 -x135 -x145 -x155 -x176 -x186 -x196 288.36 v -x206 x216 -x226 -x126 -x136 -x146 -x156 -x166 -x187 x197 -x207 -x217 -x227 -x127 -x137 x147 -x157 -x167 -x177 -x198 -x208 288.36 v -x218 -x228 -x128 -x138 -x148 -x158 x168 -x178 -x188 -x209 -x219 -x229 -x129 -x139 -x149 x159 -x169 -x179 -x189 -x199 -x220 288.36 v -x230 -x130 x140 -x150 -x160 -x170 -x180 -x190 -x200 -x210 -x231 -x131 -x141 -x151 -x161 -x171 -x181 x191 -x201 -x211 -x221 288.36 c Exit Code: 10 288.36 c Total time: 288.24 s
OK 0
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/node59/watcher-39526-1149214607 -o ROOT/results/node59/solver-39526-1149214607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39526-1149214607/instance-39526-1149214607.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.86 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1591736/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=2900 CPUtime=0 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 43 0 0 0 0 0 0 0 19 0 1 0 187128953 2969600 27 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9286436 0 0 4096 0 0 0 0 17 1 0 0 /proc/25448/statm: 737 34 26 55 0 38 0 [startup+10.0025 s] /proc/loadavg: 0.88 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1569408/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=26788 CPUtime=9.98 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 5951 0 0 0 994 4 0 0 25 0 1 0 187128953 27430912 5866 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134718704 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 6697 5866 296 55 0 5589 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 26788 [startup+20.0094 s] /proc/loadavg: 0.90 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1558976/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=37208 CPUtime=19.98 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 8548 0 0 0 1989 9 0 0 25 0 1 0 187128953 38100992 8463 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 9302 8463 296 55 0 8194 0 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 37208 [startup+30.0153 s] /proc/loadavg: 0.91 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1551872/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=44204 CPUtime=29.98 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 10324 0 0 0 2986 12 0 0 25 0 1 0 187128953 45264896 10239 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 11051 10239 296 55 0 9943 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 44204 [startup+40.0213 s] /proc/loadavg: 0.93 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1544960/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=51072 CPUtime=39.98 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 12045 0 0 0 3983 15 0 0 25 0 1 0 187128953 52297728 11960 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 12768 11960 296 55 0 11660 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 51072 [startup+50.0272 s] /proc/loadavg: 0.94 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1538944/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=57144 CPUtime=49.99 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 13537 0 0 0 4982 17 0 0 25 0 1 0 187128953 58515456 13452 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541588 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 14286 13452 296 55 0 13178 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 57144 [startup+60.0331 s] /proc/loadavg: 0.95 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1532224/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=63888 CPUtime=59.99 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 15216 0 0 0 5979 20 0 0 25 0 1 0 187128953 65421312 15131 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 15972 15131 296 55 0 14864 0 Current children cumulated CPU time (s) 59.99 Current children cumulated vsize (Kb) 63888 [startup+70.039 s] /proc/loadavg: 0.95 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1528128/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=67856 CPUtime=70 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 16234 0 0 0 6978 22 0 0 25 0 1 0 187128953 69484544 16149 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534124 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 16964 16149 296 55 0 15856 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 67856 [startup+80.045 s] /proc/loadavg: 0.96 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1522624/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=73404 CPUtime=79.99 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 17618 0 0 0 7975 24 0 0 25 0 1 0 187128953 75165696 17533 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 18351 17533 296 55 0 17243 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 73404 [startup+90.0509 s] /proc/loadavg: 0.97 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1516992/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=79084 CPUtime=90 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 19014 0 0 0 8974 26 0 0 25 0 1 0 187128953 80982016 18929 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9721467 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 19771 18929 296 55 0 18663 0 Current children cumulated CPU time (s) 90 Current children cumulated vsize (Kb) 79084 [startup+100.057 s] /proc/loadavg: 0.97 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1512576/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=83456 CPUtime=100 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 20118 0 0 0 9973 27 0 0 25 0 1 0 187128953 85458944 20033 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134541606 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 20864 20033 296 55 0 19756 0 Current children cumulated CPU time (s) 100 Current children cumulated vsize (Kb) 83456 [startup+110.063 s] /proc/loadavg: 0.97 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1508032/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=88076 CPUtime=110 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 21250 0 0 0 10970 30 0 0 25 0 1 0 187128953 90189824 21165 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 22019 21165 296 55 0 20911 0 Current children cumulated CPU time (s) 110 Current children cumulated vsize (Kb) 88076 [startup+120.07 s] /proc/loadavg: 0.98 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1503744/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=92312 CPUtime=120.01 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 22313 0 0 0 11969 32 0 0 25 0 1 0 187128953 94527488 22228 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524531 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 23078 22228 296 55 0 21970 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 92312 [startup+130.076 s] /proc/loadavg: 0.98 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1499264/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=96804 CPUtime=130.01 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 23440 0 0 0 12967 34 0 0 25 0 1 0 187128953 99127296 23355 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534060 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 24201 23355 296 55 0 23093 0 Current children cumulated CPU time (s) 130.01 Current children cumulated vsize (Kb) 96804 [startup+140.083 s] /proc/loadavg: 0.98 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1494720/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=101312 CPUtime=140.01 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 24575 0 0 0 13965 36 0 0 25 0 1 0 187128953 103743488 24490 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524502 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 25328 24490 296 55 0 24220 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 101312 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1490368/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=105668 CPUtime=150.01 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 25654 0 0 0 14964 37 0 0 25 0 1 0 187128953 108204032 25569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 26417 25569 296 55 0 25309 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 105668 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1485376/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=110688 CPUtime=160.01 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 26907 0 0 0 15961 40 0 0 25 0 1 0 187128953 113344512 26822 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 27672 26822 296 55 0 26564 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 110688 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1481984/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=114016 CPUtime=170.02 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 27738 0 0 0 16960 42 0 0 25 0 1 0 187128953 116752384 27653 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 28504 27653 296 55 0 27396 0 Current children cumulated CPU time (s) 170.02 Current children cumulated vsize (Kb) 114016 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1478848/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=117188 CPUtime=180.02 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 28521 0 0 0 17959 43 0 0 25 0 1 0 187128953 120000512 28435 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 29297 28435 296 55 0 28189 0 Current children cumulated CPU time (s) 180.02 Current children cumulated vsize (Kb) 117188 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1475712/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=120360 CPUtime=190.02 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 29318 0 0 0 18958 44 0 0 25 0 1 0 187128953 123248640 29232 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 30090 29232 296 55 0 28982 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 120360 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1472448/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=123660 CPUtime=200.03 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 30116 0 0 0 19957 46 0 0 25 0 1 0 187128953 126627840 30030 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 30915 30030 296 55 0 29807 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 123660 [startup+210.127 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1469312/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=126828 CPUtime=210.02 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 30906 0 0 0 20955 47 0 0 25 0 1 0 187128953 129871872 30820 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534944 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 31707 30820 296 55 0 30599 0 Current children cumulated CPU time (s) 210.02 Current children cumulated vsize (Kb) 126828 [startup+220.133 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1466432/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=129596 CPUtime=220.03 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 31624 0 0 0 21954 49 0 0 25 0 1 0 187128953 132706304 31538 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 32399 31538 296 55 0 31291 0 Current children cumulated CPU time (s) 220.03 Current children cumulated vsize (Kb) 129596 [startup+230.139 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1463040/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=133032 CPUtime=230.03 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 32475 0 0 0 22953 50 0 0 25 0 1 0 187128953 136224768 32388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 33258 32388 296 55 0 32150 0 Current children cumulated CPU time (s) 230.03 Current children cumulated vsize (Kb) 133032 [startup+240.145 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1458752/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=137392 CPUtime=240.03 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 33536 0 0 0 23952 51 0 0 25 0 1 0 187128953 140689408 33449 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 34348 33449 296 55 0 33240 0 Current children cumulated CPU time (s) 240.03 Current children cumulated vsize (Kb) 137392 [startup+250.151 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1455552/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=140564 CPUtime=250.04 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 34343 0 0 0 24951 53 0 0 25 0 1 0 187128953 143937536 34255 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 35141 34255 296 55 0 34033 0 Current children cumulated CPU time (s) 250.04 Current children cumulated vsize (Kb) 140564 [startup+260.157 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1451840/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=144284 CPUtime=260.04 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 35265 0 0 0 25950 54 0 0 25 0 1 0 187128953 147746816 35176 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 36071 35176 296 55 0 34963 0 Current children cumulated CPU time (s) 260.04 Current children cumulated vsize (Kb) 144284 [startup+270.163 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1448320/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=147736 CPUtime=270.04 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 36143 0 0 0 26948 56 0 0 25 0 1 0 187128953 151281664 36054 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548552 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 36934 36054 296 55 0 35826 0 Current children cumulated CPU time (s) 270.04 Current children cumulated vsize (Kb) 147736 [startup+280.169 s] /proc/loadavg: 0.99 0.97 0.91 2/64 25448 /proc/meminfo: memFree=1445696/2055920 swapFree=4180876/4192956 [pid=25448] ppid=25446 vsize=150388 CPUtime=280.04 /proc/25448/stat : 25448 (bsolo) R 25446 25448 25403 0 -1 0 36789 0 0 0 27947 57 0 0 25 0 1 0 187128953 153997312 36700 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/25448/statm: 37597 36700 296 55 0 36489 0 Current children cumulated CPU time (s) 280.04 Current children cumulated vsize (Kb) 150388 Child status: 10 Real time (s): 288.386 CPU time (s): 288.262 CPU user time (s): 287.65 CPU system time (s): 0.611906 CPU usage (%): 99.957 Max. virtual memory (cumulated for all children) (Kb): 150388
Begin job on node59 on Fri Jun 2 02:16:47 UTC 2006 FILE ID= 39526-1149214607 PBS_JOBID= 294592 BENCH NAME= ROOT/tmp/node59/39526-1149214607/instance-39526-1149214607.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39526-1149214607/instance-39526-1149214607.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node59/watcher-39526-1149214607 -o ROOT/results/node59/solver-39526-1149214607 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node59/39526-1149214607/instance-39526-1149214607.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= e3a1beab9d06c0cee32a93d550c9a1ac RANDOM SEED= 623599827 /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.272 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.272 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: 1591944 kB Buffers: 34656 kB Cached: 353784 kB SwapCached: 4056 kB Active: 107320 kB Inactive: 290072 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1591944 kB SwapTotal: 4192956 kB SwapFree: 4180876 kB Dirty: 320 kB Writeback: 0 kB Mapped: 14720 kB Slab: 52556 kB Committed_AS: 209572 kB PageTables: 1492 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node59 on Fri Jun 2 02:21:36 UTC 2006