Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
bsolo 2006/05 | SAT | 824.58 | 824.907 |
Name | normalized-PB06/SATUNSAT-SMALLINT/submitted-PB05/aloul/ FPGA_SAT05/normalized-fpga11_10_sat_pb.cnf.cr.opb |
MD5SUM | ad8c96101fa1b2a172901cb81285d15c |
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 | 0.002999 |
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 | 165 |
Total number of constraints | 141 |
Number of constraints which are clauses | 120 |
Number of constraints which are cardinality constraints (but not clauses) | 21 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 5 |
Maximum length of a constraint | 11 |
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 | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 12 |
Number of bits of the biggest sum of numbers | 4 |
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.02 c Initial problem consists of 165 variables and 141 constraints. 0.02 c Using non-optimization problem switches. 0.02 c No problem reductions applied in OPT. instance. 0.02 c preprocess terminated. Elapsed time: 0.007 0.02 c After prepocess the problem consists of 165 variables and 141 constraints. 0.03 c Restart #1 #Var: 165 LB: 0 @ 0.018 0.05 c Restart #2 #Var: 165 LB: 0 @ 0.039 0.09 c Restart #3 #Var: 165 LB: 0 @ 0.075 0.15 c Restart #4 #Var: 165 LB: 0 @ 0.141 0.27 c Restart #5 #Var: 165 LB: 0 @ 0.257 0.41 c Restart #6 #Var: 165 LB: 0 @ 0.4 0.61 c Restart #7 #Var: 165 LB: 0 @ 0.597 0.99 c Restart #8 #Var: 165 LB: 0 @ 0.982 1.21 c Restart #9 #Var: 165 LB: 0 @ 1.2 1.57 c Restart #10 #Var: 165 LB: 0 @ 1.553 2.15 c Restart #11 #Var: 165 LB: 0 @ 2.139 2.69 c Restart #12 #Var: 165 LB: 0 @ 2.677 3.53 c Restart #13 #Var: 165 LB: 0 @ 3.518 4.06 c Restart #14 #Var: 165 LB: 0 @ 4.045 4.99 c Restart #15 #Var: 165 LB: 0 @ 4.982 5.73 c Restart #16 #Var: 165 LB: 0 @ 5.717 7.00 c Restart #17 #Var: 165 LB: 0 @ 6.982 8.26 c Restart #18 #Var: 165 LB: 0 @ 8.249 9.73 c Restart #19 #Var: 165 LB: 0 @ 9.719 11.01 c Restart #20 #Var: 165 LB: 0 @ 10.991 12.16 c Restart #21 #Var: 165 LB: 0 @ 12.141 14.77 c Restart #22 #Var: 165 LB: 0 @ 14.75 16.24 c Restart #23 #Var: 165 LB: 0 @ 16.221 19.03 c Restart #24 #Var: 165 LB: 0 @ 19.005 21.57 c Restart #25 #Var: 165 LB: 0 @ 21.539 24.73 c Restart #26 #Var: 165 LB: 0 @ 24.707 27.81 c Restart #27 #Var: 165 LB: 0 @ 27.78 34.38 c Restart #28 #Var: 165 LB: 0 @ 34.348 37.12 c Restart #29 #Var: 165 LB: 0 @ 37.083 43.71 c Restart #30 #Var: 165 LB: 0 @ 43.669 49.14 c Restart #31 #Var: 165 LB: 0 @ 49.099 63.32 c Restart #32 #Var: 165 LB: 0 @ 63.266 75.70 c Restart #33 #Var: 165 LB: 0 @ 75.647 95.03 c Restart #34 #Var: 165 LB: 0 @ 94.969 116.25 c Restart #35 #Var: 165 LB: 0 @ 116.18 138.83 c Restart #36 #Var: 165 LB: 0 @ 138.75 151.35 c Restart #37 #Var: 165 LB: 0 @ 151.26 169.40 c Restart #38 #Var: 165 LB: 0 @ 169.31 185.93 c Restart #39 #Var: 165 LB: 0 @ 185.83 198.39 c Restart #40 #Var: 165 LB: 0 @ 198.29 213.04 c Restart #41 #Var: 165 LB: 0 @ 212.93 235.59 c Restart #42 #Var: 165 LB: 0 @ 235.48 279.93 c Restart #43 #Var: 165 LB: 0 @ 279.8 289.82 c Restart #44 #Var: 165 LB: 0 @ 289.69 303.03 c Restart #45 #Var: 165 LB: 0 @ 302.89 340.69 c Restart #46 #Var: 165 LB: 0 @ 340.53 410.00 c Restart #47 #Var: 165 LB: 0 @ 409.82 428.75 c Restart #48 #Var: 165 LB: 0 @ 428.56 453.82 c Restart #49 #Var: 165 LB: 0 @ 453.63 507.19 c Restart #50 #Var: 165 LB: 0 @ 506.98 538.56 c Restart #51 #Var: 165 LB: 0 @ 538.34 622.36 c Restart #52 #Var: 165 LB: 0 @ 622.1 702.50 c Restart #53 #Var: 165 LB: 0 @ 702.22 813.63 c Restart #54 #Var: 165 LB: 0 @ 813.31 824.87 c Sol. found (all assignments made)... 824.87 o 0 824.87 c NEW SOLUTION FOUND: 0 @ 824.54 824.87 s SATISFIABLE 824.87 c Cost: 0 824.87 v -x108 -x151 -x152 -x153 -x154 x155 -x27 -x131 -x132 -x133 x134 -x135 x75 -x72 -x136 -x137 x138 -x139 -x140 -x1 -x2 -x3 x4 -x5 824.87 v -x6 -x7 -x8 -x9 -x10 -x11 -x69 -x121 -x122 x123 -x124 -x125 -x66 -x161 -x162 -x163 x164 -x165 -x18 -x141 -x142 -x143 -x144 -x145 824.87 v x58 x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x59 x126 -x127 -x128 -x129 -x130 -x40 -x51 -x15 -x14 -x19 x146 -x147 824.87 v -x148 -x149 -x150 -x70 -x50 -x62 -x63 -x23 -x111 x112 -x113 -x114 -x115 -x102 -x95 -x101 -x116 -x117 -x118 -x119 x120 -x46 824.87 v -x71 -x76 -x156 x157 -x158 -x159 -x160 -x74 -x34 x105 -x67 -x68 -x73 -x77 -x21 -x24 -x89 -x45 -x91 -x41 -x104 -x25 -x90 -x92 824.87 v -x93 -x94 x96 -x97 -x98 -x99 x35 -x28 -x26 -x29 -x30 -x31 -x32 x33 -x107 -x17 -x61 -x52 -x38 -x109 -x13 -x103 -x49 -x22 -x110 824.87 v -x100 -x106 -x53 -x65 -x42 -x12 x16 -x20 -x43 -x57 -x39 -x56 -x60 -x64 -x44 -x48 x54 -x47 -x55 -x37 -x36 824.87 c Exit Code: 10 824.87 c Total time: 824.54 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/node12/watcher-39689-1149233690 -o ROOT/results/node12/solver-39689-1149233690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/39689-1149233690/instance-39689-1149233690.opb Current StackSize limit: 67108864 bytes /proc/loadavg: 0.73 0.91 0.96 2/64 29477 /proc/meminfo: memFree=1532680/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=4932 CPUtime=0 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 361 0 0 0 0 0 0 0 18 0 1 0 189031568 5050368 325 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 9966176 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 1233 330 226 55 0 125 0 [startup+10.003 s] /proc/loadavg: 0.77 0.91 0.96 2/64 29477 /proc/meminfo: memFree=1503568/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=33660 CPUtime=9.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 7655 0 0 0 991 7 0 0 25 0 1 0 189031568 34467840 7569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 8415 7569 297 55 0 7307 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 33660 [startup+20.0098 s] /proc/loadavg: 0.80 0.91 0.96 2/64 29477 /proc/meminfo: memFree=1485520/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=51780 CPUtime=19.97 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 12175 0 0 0 1986 11 0 0 25 0 1 0 189031568 53022720 12087 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 12945 12087 297 55 0 11837 0 Current children cumulated CPU time (s) 19.97 Current children cumulated vsize (Kb) 51780 [startup+30.0166 s] /proc/loadavg: 0.83 0.92 0.96 2/64 29477 /proc/meminfo: memFree=1472016/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=65408 CPUtime=29.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 15548 0 0 0 2983 15 0 0 25 0 1 0 189031568 66977792 15459 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 16352 15459 297 55 0 15244 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 65408 [startup+40.0224 s] /proc/loadavg: 0.86 0.92 0.96 2/64 29477 /proc/meminfo: memFree=1461776/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=75776 CPUtime=39.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 18113 0 0 0 3979 19 0 0 25 0 1 0 189031568 77594624 18020 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134607302 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 18944 18020 297 55 0 17836 0 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 75776 [startup+50.0282 s] /proc/loadavg: 0.88 0.92 0.96 2/64 29477 /proc/meminfo: memFree=1453392/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=84372 CPUtime=49.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 20224 0 0 0 4975 23 0 0 25 0 1 0 189031568 86396928 20130 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533608 0 0 4096 16384 0 0 0 17 0 0 0 /proc/29477/statm: 21093 20130 297 55 0 19985 0 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 84372 [startup+60.034 s] /proc/loadavg: 0.90 0.92 0.96 2/64 29477 /proc/meminfo: memFree=1450384/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=87328 CPUtime=59.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 20976 0 0 0 5974 24 0 0 25 0 1 0 189031568 89423872 20881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 21832 20881 297 55 0 20724 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 87328 [startup+70.0408 s] /proc/loadavg: 0.91 0.92 0.96 2/64 29477 /proc/meminfo: memFree=1447184/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=90568 CPUtime=69.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 21775 0 0 0 6972 26 0 0 25 0 1 0 189031568 92741632 21676 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 22642 21676 297 55 0 21534 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 90568 [startup+80.0466 s] /proc/loadavg: 0.93 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1444432/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=93396 CPUtime=79.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 22452 0 0 0 7971 27 0 0 25 0 1 0 189031568 95637504 22351 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 23349 22351 297 55 0 22241 0 Current children cumulated CPU time (s) 79.98 Current children cumulated vsize (Kb) 93396 [startup+90.0524 s] /proc/loadavg: 0.94 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1441552/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=96344 CPUtime=89.98 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 23177 0 0 0 8970 28 0 0 25 0 1 0 189031568 98656256 23075 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134551613 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 24086 23075 297 55 0 22978 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 96344 [startup+100.058 s] /proc/loadavg: 0.95 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1439568/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=98328 CPUtime=99.99 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 23673 0 0 0 9969 30 0 0 25 0 1 0 189031568 100687872 23569 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 24582 23569 297 55 0 23474 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 98328 [startup+110.064 s] /proc/loadavg: 0.95 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1437392/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=100440 CPUtime=109.99 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 24221 0 0 0 10968 31 0 0 25 0 1 0 189031568 102850560 24117 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 25110 24117 297 55 0 24002 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 100440 [startup+120.07 s] /proc/loadavg: 0.96 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1435024/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=102700 CPUtime=119.99 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 24803 0 0 0 11967 32 0 0 25 0 1 0 189031568 105164800 24699 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 25675 24699 297 55 0 24567 0 Current children cumulated CPU time (s) 119.99 Current children cumulated vsize (Kb) 102700 [startup+130.076 s] /proc/loadavg: 0.97 0.93 0.96 2/64 29477 /proc/meminfo: memFree=1431824/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=106084 CPUtime=129.99 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 25618 0 0 0 12966 33 0 0 25 0 1 0 189031568 108630016 25509 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 26521 25509 297 55 0 25413 0 Current children cumulated CPU time (s) 129.99 Current children cumulated vsize (Kb) 106084 [startup+140.081 s] /proc/loadavg: 0.97 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1429200/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=108760 CPUtime=140 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 26271 0 0 0 13966 34 0 0 25 0 1 0 189031568 111370240 26160 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550886 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 27190 26160 297 55 0 26082 0 Current children cumulated CPU time (s) 140 Current children cumulated vsize (Kb) 108760 [startup+150.087 s] /proc/loadavg: 0.97 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1425680/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=112208 CPUtime=150 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 27140 0 0 0 14965 35 0 0 25 0 1 0 189031568 114900992 27028 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534834 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 28052 27028 297 55 0 26944 0 Current children cumulated CPU time (s) 150 Current children cumulated vsize (Kb) 112208 [startup+160.093 s] /proc/loadavg: 0.98 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1421648/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=116392 CPUtime=160 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 28155 0 0 0 15963 37 0 0 25 0 1 0 189031568 119185408 28039 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 29098 28039 297 55 0 27990 0 Current children cumulated CPU time (s) 160 Current children cumulated vsize (Kb) 116392 [startup+170.099 s] /proc/loadavg: 0.98 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1419344/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=118664 CPUtime=170.01 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 28725 0 0 0 16962 39 0 0 25 0 1 0 189031568 121511936 28609 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 29666 28609 297 55 0 28558 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 118664 [startup+180.105 s] /proc/loadavg: 0.98 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1416720/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=121304 CPUtime=180 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 29378 0 0 0 17960 40 0 0 25 0 1 0 189031568 124215296 29262 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134528714 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 30326 29262 297 55 0 29218 0 Current children cumulated CPU time (s) 180 Current children cumulated vsize (Kb) 121304 [startup+190.111 s] /proc/loadavg: 0.99 0.94 0.96 2/64 29477 /proc/meminfo: memFree=1411024/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=126996 CPUtime=190 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 30807 0 0 0 18958 42 0 0 25 0 1 0 189031568 130043904 30691 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548601 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 31749 30691 297 55 0 30641 0 Current children cumulated CPU time (s) 190 Current children cumulated vsize (Kb) 126996 [startup+200.116 s] /proc/loadavg: 0.99 0.95 0.96 2/64 29477 /proc/meminfo: memFree=1408208/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=129912 CPUtime=200.01 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 31508 0 0 0 19957 44 0 0 25 0 1 0 189031568 133029888 31387 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 32478 31387 297 55 0 31370 0 Current children cumulated CPU time (s) 200.01 Current children cumulated vsize (Kb) 129912 [startup+210.122 s] /proc/loadavg: 0.99 0.95 0.96 2/64 29477 /proc/meminfo: memFree=1403984/2055920 swapFree=4181408/4192956 ################ # More data... # ################ /proc/29477/statm: 51974 50326 297 55 0 50866 0 Current children cumulated CPU time (s) 610.11 Current children cumulated vsize (Kb) 207896 [startup+620.369 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1331344/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=208820 CPUtime=620.11 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 50763 0 0 0 61928 83 0 0 25 0 1 0 189031568 213831680 50548 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529331 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 52205 50548 297 55 0 51097 0 Current children cumulated CPU time (s) 620.11 Current children cumulated vsize (Kb) 208820 [startup+630.375 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1330960/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=209084 CPUtime=630.11 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 50847 0 0 0 62928 83 0 0 25 0 1 0 189031568 214102016 50632 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 52271 50632 297 55 0 51163 0 Current children cumulated CPU time (s) 630.11 Current children cumulated vsize (Kb) 209084 [startup+640.381 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1330000/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=210144 CPUtime=640.11 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51093 0 0 0 63928 83 0 0 25 0 1 0 189031568 215187456 50877 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 4294960144 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 52536 50877 297 55 0 51428 0 Current children cumulated CPU time (s) 640.11 Current children cumulated vsize (Kb) 210144 [startup+650.387 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1328848/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=211200 CPUtime=650.11 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51374 0 0 0 64927 84 0 0 25 0 1 0 189031568 216268800 51158 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134550891 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 52800 51158 297 55 0 51692 0 Current children cumulated CPU time (s) 650.11 Current children cumulated vsize (Kb) 211200 [startup+660.393 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1327952/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=212124 CPUtime=660.12 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51604 0 0 0 65927 85 0 0 25 0 1 0 189031568 217214976 51388 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534798 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 53031 51388 297 55 0 51923 0 Current children cumulated CPU time (s) 660.12 Current children cumulated vsize (Kb) 212124 [startup+670.399 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1327312/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=212804 CPUtime=670.12 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51761 0 0 0 66927 85 0 0 25 0 1 0 189031568 217911296 51545 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529346 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 53201 51545 297 55 0 52093 0 Current children cumulated CPU time (s) 670.12 Current children cumulated vsize (Kb) 212804 [startup+680.404 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1326736/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=213464 CPUtime=680.12 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 51904 0 0 0 67927 85 0 0 25 0 1 0 189031568 218587136 51688 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 53366 51688 297 55 0 52258 0 Current children cumulated CPU time (s) 680.12 Current children cumulated vsize (Kb) 213464 [startup+690.41 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1325904/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=214256 CPUtime=690.13 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52114 0 0 0 68926 87 0 0 25 0 1 0 189031568 219398144 51898 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 53564 51898 297 55 0 52456 0 Current children cumulated CPU time (s) 690.13 Current children cumulated vsize (Kb) 214256 [startup+700.416 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1325072/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=215080 CPUtime=700.13 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52327 0 0 0 69926 87 0 0 25 0 1 0 189031568 220241920 52107 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529232 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 53770 52107 297 55 0 52662 0 Current children cumulated CPU time (s) 700.13 Current children cumulated vsize (Kb) 215080 [startup+710.422 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1324240/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=216068 CPUtime=710.13 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52538 0 0 0 70926 87 0 0 25 0 1 0 189031568 221253632 52315 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54017 52315 297 55 0 52909 0 Current children cumulated CPU time (s) 710.13 Current children cumulated vsize (Kb) 216068 [startup+720.428 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1323472/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=216744 CPUtime=720.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52728 0 0 0 71926 88 0 0 25 0 1 0 189031568 221945856 52505 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533916 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54186 52505 297 55 0 53078 0 Current children cumulated CPU time (s) 720.14 Current children cumulated vsize (Kb) 216744 [startup+730.433 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1322704/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=217404 CPUtime=730.13 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 52921 0 0 0 72925 88 0 0 25 0 1 0 189031568 222621696 52696 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54351 52696 297 55 0 53243 0 Current children cumulated CPU time (s) 730.13 Current children cumulated vsize (Kb) 217404 [startup+740.439 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1321936/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=218392 CPUtime=740.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53114 0 0 0 73925 89 0 0 25 0 1 0 189031568 223633408 52881 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134533905 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54598 52881 297 55 0 53490 0 Current children cumulated CPU time (s) 740.14 Current children cumulated vsize (Kb) 218392 [startup+750.445 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1321360/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=219128 CPUtime=750.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53273 0 0 0 74925 89 0 0 25 0 1 0 189031568 224387072 53022 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134524387 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54782 53022 297 55 0 53674 0 Current children cumulated CPU time (s) 750.14 Current children cumulated vsize (Kb) 219128 [startup+760.451 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1320912/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=219528 CPUtime=760.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53389 0 0 0 75925 89 0 0 25 0 1 0 189031568 224796672 53138 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548598 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 54882 53138 297 55 0 53774 0 Current children cumulated CPU time (s) 760.14 Current children cumulated vsize (Kb) 219528 [startup+770.457 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1320080/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=220516 CPUtime=770.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53593 0 0 0 76925 89 0 0 25 0 1 0 189031568 225808384 53342 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534854 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 55129 53342 297 55 0 54021 0 Current children cumulated CPU time (s) 770.14 Current children cumulated vsize (Kb) 220516 [startup+780.462 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1319056/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=221572 CPUtime=780.14 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 53854 0 0 0 77925 89 0 0 25 0 1 0 189031568 226889728 53603 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548542 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 55393 53603 297 55 0 54285 0 Current children cumulated CPU time (s) 780.14 Current children cumulated vsize (Kb) 221572 [startup+790.468 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1318160/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=222364 CPUtime=790.15 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54072 0 0 0 78925 90 0 0 25 0 1 0 189031568 227700736 53821 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134529155 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 55591 53821 297 55 0 54483 0 Current children cumulated CPU time (s) 790.15 Current children cumulated vsize (Kb) 222364 [startup+800.474 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1317392/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=223220 CPUtime=800.15 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54273 0 0 0 79925 90 0 0 25 0 1 0 189031568 228577280 54018 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134534127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 55805 54018 297 55 0 54697 0 Current children cumulated CPU time (s) 800.15 Current children cumulated vsize (Kb) 223220 [startup+810.48 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1316560/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=224208 CPUtime=810.15 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54474 0 0 0 80924 91 0 0 25 0 1 0 189031568 229588992 54219 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548547 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 56052 54219 297 55 0 54944 0 Current children cumulated CPU time (s) 810.15 Current children cumulated vsize (Kb) 224208 [startup+820.486 s] /proc/loadavg: 0.99 0.97 0.96 2/64 29477 /proc/meminfo: memFree=1315984/2055920 swapFree=4181408/4192956 [pid=29477] ppid=29475 vsize=224736 CPUtime=820.15 /proc/29477/stat : 29477 (bsolo) R 29475 29477 29432 0 -1 0 54617 0 0 0 81924 91 0 0 25 0 1 0 189031568 230129664 54362 18446744073709551615 134512640 134738892 4294956688 18446744073709551615 134548614 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29477/statm: 56184 54362 297 55 0 55076 0 Current children cumulated CPU time (s) 820.15 Current children cumulated vsize (Kb) 224736 Child status: 10 Real time (s): 824.907 CPU time (s): 824.58 CPU user time (s): 823.626 CPU system time (s): 0.953854 CPU usage (%): 99.9604 Max. virtual memory (cumulated for all children) (Kb): 224736
Begin job on node12 on Fri Jun 2 07:34:50 UTC 2006 FILE ID= 39689-1149233690 PBS_JOBID= 296710 BENCH NAME= ROOT/tmp/node12/39689-1149233690/instance-39689-1149233690.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/39689-1149233690/instance-39689-1149233690.opb RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node12/watcher-39689-1149233690 -o ROOT/results/node12/solver-39689-1149233690 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user10/bsolo ROOT/tmp/node12/39689-1149233690/instance-39689-1149233690.opb MD5SUM SOLVER= 05cada221eb1efaaae980ebc7509e7e8 MD5SUM BENCH= ad8c96101fa1b2a172901cb81285d15c RANDOM SEED= 330970818 /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.282 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.282 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: 1532888 kB Buffers: 29744 kB Cached: 423312 kB SwapCached: 3292 kB Active: 149724 kB Inactive: 312100 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1532888 kB SwapTotal: 4192956 kB SwapFree: 4181408 kB Dirty: 292 kB Writeback: 0 kB Mapped: 14708 kB Slab: 47208 kB Committed_AS: 215668 kB PageTables: 1416 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node12 on Fri Jun 2 07:48:35 UTC 2006