Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.64 | 1801.21 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.11.opb |
MD5SUM | 5f844d3fbd9d157e56bab6c09ee5f179 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 38 |
Best CPU time to get the best result obtained on this benchmark | 94.3017 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 38 |
Optimality of the best value was proved | YES |
Number of variables | 21675 |
Total number of constraints | 1210400 |
Number of constraints which are clauses | 1206830 |
Number of constraints which are cardinality constraints (but not clauses) | 3570 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 170 |
Number of terms in the objective function | 170 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 170 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 168 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 338 |
Number of bits of the biggest sum of numbers | 9 |
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/node26/50579-1154115396/instance-50579-1154115396.opb ...... 13.57 c done parsing opb. 13.57 o 170 13.59 o 169 13.60 o 168 13.62 o 167 13.64 o 166 13.66 o 165 13.68 o 164 13.70 o 163 13.72 o 162 13.74 o 161 13.75 o 160 13.77 o 159 13.79 o 158 13.81 o 157 13.83 o 156 13.85 o 155 13.87 o 154 13.88 o 153 13.90 o 152 13.92 o 151 13.94 o 150 13.96 o 149 13.98 o 148 14.00 o 147 14.02 o 146 14.03 o 145 14.05 o 144 14.07 o 143 14.09 o 142 14.11 o 141 14.13 o 140 14.15 o 139 14.17 o 138 14.18 o 137 14.20 o 136 14.22 o 135 14.24 o 134 14.26 o 133 14.28 o 132 14.30 o 131 14.32 o 130 14.34 o 129 14.36 o 128 14.37 o 127 14.39 o 126 14.41 o 125 14.43 o 124 14.45 o 123 14.47 o 122 14.49 o 121 14.51 o 120 14.52 o 119 14.54 o 118 14.56 o 117 14.58 o 116 14.60 o 115 14.62 o 114 14.64 o 113 14.66 o 112 14.68 o 111 14.70 o 110 14.71 o 109 14.73 o 108 14.75 o 107 14.77 o 106 14.79 o 105 14.81 o 104 14.83 o 103 14.85 o 102 14.87 o 101 14.88 o 100 14.90 o 99 14.92 o 98 14.94 o 97 14.96 o 96 14.98 o 95 15.00 o 94 15.02 o 93 15.04 o 92 15.06 o 91 16.23 o 90 16.54 o 89 16.85 o 88 17.05 o 87 17.12 o 86 17.38 o 85 17.41 o 84 17.83 o 83 18.23 o 82 18.51 o 81 18.66 o 80 18.80 o 79 18.89 o 78 19.07 o 77 19.91 o 76 20.26 o 75 20.31 o 74 396.38 o 73 540.88 o 72 545.61 o 71 897.22 o 70 925.25 o 69
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/node26/watcher-50579-1154115396 -o ROOT/results/node26/solver-50579-1154115396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1169880/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=3436 CPUtime=0 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 228 0 0 0 0 0 0 0 18 0 1 0 158399854 3518464 211 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 859 212 90 232 0 624 0 [startup+10.0022 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1103016/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=75204 CPUtime=9.99 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 23039 0 0 0 987 12 0 0 25 0 1 0 158399854 77008896 16811 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134868284 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 18801 16811 100 232 0 18566 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 75204 [startup+20.0082 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1082152/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=136964 CPUtime=19.99 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 34524 0 0 0 1967 32 0 0 25 0 1 0 158399854 140251136 22100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34241 22100 108 232 0 34006 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 136964 [startup+30.0142 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1079784/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=137680 CPUtime=30 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 35193 0 0 0 2958 42 0 0 25 0 1 0 158399854 140984320 22726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34420 22726 108 232 0 34185 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 137680 [startup+40.0201 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1076392/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=138624 CPUtime=40 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36121 0 0 0 3948 52 0 0 25 0 1 0 158399854 141950976 23611 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134590012 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34656 23611 108 232 0 34421 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 138624 [startup+50.0261 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1074920/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=139004 CPUtime=50 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36571 0 0 0 4936 64 0 0 25 0 1 0 158399854 142340096 23889 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34751 23889 108 232 0 34516 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 139004 [startup+60.0321 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1074792/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=139276 CPUtime=60.01 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 36748 0 0 0 5924 77 0 0 25 0 1 0 158399854 142618624 23980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34819 23980 108 232 0 34584 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 139276 [startup+70.0391 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1073960/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=139544 CPUtime=70.01 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37039 0 0 0 6914 87 0 0 25 0 1 0 158399854 142893056 24185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34886 24185 108 232 0 34651 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 139544 [startup+80.0451 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1073384/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=139812 CPUtime=80.01 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37313 0 0 0 7903 98 0 0 25 0 1 0 158399854 143167488 24330 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34953 24330 108 232 0 34718 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 139812 [startup+90.0511 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1071400/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=139956 CPUtime=90.01 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37825 0 0 0 8894 107 0 0 25 0 1 0 158399854 143314944 24799 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 34989 24799 108 232 0 34754 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 139956 [startup+100.057 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1071080/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=140364 CPUtime=100.02 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 37974 0 0 0 9885 117 0 0 25 0 1 0 158399854 143732736 24862 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35091 24862 108 232 0 34856 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 140364 [startup+110.063 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1071016/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=140364 CPUtime=110.03 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38086 0 0 0 10876 127 0 0 25 0 1 0 158399854 143732736 24888 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35091 24888 108 232 0 34856 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 140364 [startup+120.069 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1070952/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=140488 CPUtime=120.02 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38166 0 0 0 11868 134 0 0 25 0 1 0 158399854 143859712 24925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35122 24925 108 232 0 34887 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 140488 [startup+130.075 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1069352/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=140768 CPUtime=130.03 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 38686 0 0 0 12854 149 0 0 25 0 1 0 158399854 144146432 25316 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35192 25316 108 232 0 34957 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 140768 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1067048/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=141320 CPUtime=140.03 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39342 0 0 0 13841 162 0 0 25 0 1 0 158399854 144711680 25886 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35330 25886 108 232 0 35095 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 141320 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1066728/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=141600 CPUtime=150.03 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39438 0 0 0 14832 171 0 0 25 0 1 0 158399854 144998400 25939 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35400 25939 108 232 0 35165 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 141600 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1066664/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=141744 CPUtime=160.04 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39547 0 0 0 15822 182 0 0 25 0 1 0 158399854 145145856 26005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35436 26005 108 232 0 35201 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 141744 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1065896/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=142044 CPUtime=170.05 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39831 0 0 0 16814 191 0 0 25 0 1 0 158399854 145453056 26160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35511 26160 108 232 0 35276 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 142044 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1065768/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=142044 CPUtime=180.04 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 39938 0 0 0 17805 199 0 0 25 0 1 0 158399854 145453056 26181 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134593964 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35511 26181 108 232 0 35276 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 142044 [startup+190.111 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1065704/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=142044 CPUtime=190.05 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 40045 0 0 0 18797 208 0 0 25 0 1 0 158399854 145453056 26202 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35511 26202 108 232 0 35276 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 142044 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 /proc/meminfo: memFree=1065512/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=142308 CPUtime=200.05 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 40208 0 0 0 19789 216 0 0 25 0 1 0 158399854 145723392 26279 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 35577 26279 108 232 0 35342 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 142308 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 28225 ################ # More data... # ################ /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59677 0 0 0 177082 1069 0 0 25 0 1 0 158399854 219922432 36288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36288 108 232 0 53457 0 Current children cumulated CPU time (s) 1781.51 Current children cumulated vsize (Kb) 214768 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1782.52 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59677 0 0 0 177182 1070 0 0 25 0 1 0 158399854 219922432 36288 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36288 108 232 0 53457 0 Current children cumulated CPU time (s) 1782.52 Current children cumulated vsize (Kb) 214768 [startup+1784.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1783.52 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59678 0 0 0 177282 1070 0 0 25 0 1 0 158399854 219922432 36289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36289 108 232 0 53457 0 Current children cumulated CPU time (s) 1783.52 Current children cumulated vsize (Kb) 214768 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1784.52 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59678 0 0 0 177382 1070 0 0 25 0 1 0 158399854 219922432 36289 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36289 108 232 0 53457 0 Current children cumulated CPU time (s) 1784.52 Current children cumulated vsize (Kb) 214768 [startup+1786.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1785.53 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59679 0 0 0 177482 1071 0 0 25 0 1 0 158399854 219922432 36290 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36290 108 232 0 53457 0 Current children cumulated CPU time (s) 1785.53 Current children cumulated vsize (Kb) 214768 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1786.53 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59680 0 0 0 177582 1071 0 0 25 0 1 0 158399854 219922432 36291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36291 108 232 0 53457 0 Current children cumulated CPU time (s) 1786.53 Current children cumulated vsize (Kb) 214768 [startup+1788.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1787.54 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59680 0 0 0 177683 1071 0 0 25 0 1 0 158399854 219922432 36291 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550685 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36291 108 232 0 53457 0 Current children cumulated CPU time (s) 1787.54 Current children cumulated vsize (Kb) 214768 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1788.55 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59724 0 0 0 177783 1072 0 0 25 0 1 0 158399854 219922432 36292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36292 108 232 0 53457 0 Current children cumulated CPU time (s) 1788.55 Current children cumulated vsize (Kb) 214768 [startup+1790.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1789.55 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59724 0 0 0 177883 1072 0 0 25 0 1 0 158399854 219922432 36292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36292 108 232 0 53457 0 Current children cumulated CPU time (s) 1789.55 Current children cumulated vsize (Kb) 214768 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1790.56 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59725 0 0 0 177983 1073 0 0 25 0 1 0 158399854 219922432 36293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36293 108 232 0 53457 0 Current children cumulated CPU time (s) 1790.56 Current children cumulated vsize (Kb) 214768 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1791.56 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59726 0 0 0 178083 1073 0 0 25 0 1 0 158399854 219922432 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36294 108 232 0 53457 0 Current children cumulated CPU time (s) 1791.56 Current children cumulated vsize (Kb) 214768 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1792.57 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59726 0 0 0 178183 1074 0 0 25 0 1 0 158399854 219922432 36294 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36294 108 232 0 53457 0 Current children cumulated CPU time (s) 1792.57 Current children cumulated vsize (Kb) 214768 [startup+1794.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1793.57 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59728 0 0 0 178283 1074 0 0 25 0 1 0 158399854 219922432 36296 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36296 108 232 0 53457 0 Current children cumulated CPU time (s) 1793.57 Current children cumulated vsize (Kb) 214768 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1794.57 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59729 0 0 0 178383 1074 0 0 25 0 1 0 158399854 219922432 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546948 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36297 108 232 0 53457 0 Current children cumulated CPU time (s) 1794.57 Current children cumulated vsize (Kb) 214768 [startup+1796.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1795.58 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59729 0 0 0 178483 1075 0 0 25 0 1 0 158399854 219922432 36297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36297 108 232 0 53457 0 Current children cumulated CPU time (s) 1795.58 Current children cumulated vsize (Kb) 214768 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1796.58 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59730 0 0 0 178583 1075 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36298 108 232 0 53457 0 Current children cumulated CPU time (s) 1796.58 Current children cumulated vsize (Kb) 214768 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024808/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1797.58 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59730 0 0 0 178683 1075 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36298 108 232 0 53457 0 Current children cumulated CPU time (s) 1797.58 Current children cumulated vsize (Kb) 214768 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214768 CPUtime=1798.59 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59773 0 0 0 178783 1076 0 0 25 0 1 0 158399854 219922432 36298 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611556 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53692 36298 108 232 0 53457 0 Current children cumulated CPU time (s) 1798.59 Current children cumulated vsize (Kb) 214768 [startup+1800.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214896 CPUtime=1799.59 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59775 0 0 0 178883 1076 0 0 25 0 1 0 158399854 220053504 36300 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53724 36300 108 232 0 53489 0 Current children cumulated CPU time (s) 1799.59 Current children cumulated vsize (Kb) 214896 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214896 CPUtime=1800.61 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59776 0 0 0 178984 1077 0 0 25 0 1 0 158399854 220053504 36301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552281 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53724 36301 108 232 0 53489 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 214896 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 28425 /proc/meminfo: memFree=1024744/2055920 swapFree=4177816/4192956 [pid=28225] ppid=28223 vsize=214896 CPUtime=1800.61 /proc/28225/stat : 28225 (PBS4L) R 28223 28225 28176 0 -1 4194304 59776 0 0 0 178984 1077 0 0 25 0 1 0 158399854 220053504 36301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552187 0 0 4096 0 0 0 0 17 1 0 0 /proc/28225/statm: 53724 36301 108 232 0 53489 0 Current children cumulated CPU time (s) 1800.61 Current children cumulated vsize (Kb) 214896 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.21 CPU time (s): 1800.64 CPU user time (s): 1789.84 CPU system time (s): 10.7944 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (Kb): 214896 The end
Begin job on node26 on Fri Jul 28 19:36:37 UTC 2006 FILE ID= 50579-1154115396 PBS_JOBID= 886697 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.11.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node26/watcher-50579-1154115396 -o ROOT/results/node26/solver-50579-1154115396 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node26/50579-1154115396/instance-50579-1154115396.opb 685746602 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 5f844d3fbd9d157e56bab6c09ee5f179 RANDOM SEED= 685746602 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.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.225 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1170088 kB Buffers: 39508 kB Cached: 762452 kB SwapCached: 8804 kB Active: 184268 kB Inactive: 631764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1170088 kB SwapTotal: 4192956 kB SwapFree: 4177816 kB Dirty: 176 kB Writeback: 0 kB Mapped: 14468 kB Slab: 55876 kB Committed_AS: 732140 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 node26 on Fri Jul 28 20:06:39 UTC 2006