Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.24 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.14.opb |
MD5SUM | e81449c340a6e16e28a331cb4252cc2b |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 42 |
Best CPU time to get the best result obtained on this benchmark | 128.584 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 42 |
Optimality of the best value was proved | YES |
Number of variables | 23848 |
Total number of constraints | 1451912 |
Number of constraints which are clauses | 1447776 |
Number of constraints which are cardinality constraints (but not clauses) | 4136 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 176 |
Number of terms in the objective function | 176 |
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 | 176 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 174 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 350 |
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/node60/50582-1154116606/instance-50582-1154116606.opb ...... 16.47 c done parsing opb. 16.47 o 176 16.49 o 175 16.51 o 174 16.53 o 173 16.55 o 172 16.57 o 171 16.59 o 170 16.61 o 169 16.63 o 168 16.65 o 167 16.67 o 166 16.70 o 165 16.72 o 164 16.74 o 163 16.76 o 162 16.78 o 161 16.80 o 160 16.82 o 159 16.84 o 158 16.86 o 157 16.88 o 156 16.90 o 155 16.92 o 154 16.94 o 153 16.96 o 152 16.98 o 151 17.00 o 150 17.03 o 149 17.05 o 148 17.07 o 147 17.09 o 146 17.11 o 145 17.13 o 144 17.15 o 143 17.17 o 142 17.19 o 141 17.21 o 140 17.23 o 139 17.25 o 138 17.27 o 137 17.29 o 136 17.32 o 135 17.34 o 134 17.36 o 133 17.38 o 132 17.40 o 131 17.42 o 130 17.44 o 129 17.46 o 128 17.48 o 127 17.50 o 126 17.52 o 125 17.54 o 124 17.56 o 123 17.59 o 122 17.61 o 121 17.63 o 120 17.65 o 119 17.67 o 118 17.69 o 117 17.71 o 116 17.73 o 115 17.75 o 114 17.77 o 113 17.79 o 112 17.81 o 111 17.84 o 110 17.86 o 109 17.88 o 108 17.90 o 107 17.92 o 106 17.94 o 105 17.96 o 104 17.98 o 103 18.00 o 102 18.02 o 101 18.04 o 100 18.06 o 99 18.08 o 98 18.11 o 97 18.13 o 96 18.15 o 95 18.17 o 94 19.62 o 93 19.65 o 92 19.76 o 91 19.85 o 90 19.89 o 89 20.03 o 88 20.07 o 87 20.38 o 86 20.41 o 85 20.90 o 84 22.20 o 83 22.25 o 82 22.40 o 81 23.58 o 80 24.11 o 79 27.32 o 78 29.75 o 77 302.90 o 76 619.41 o 75 1054.37 o 74 1617.02 o 73
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/node60/watcher-50582-1154116606 -o ROOT/results/node60/solver-50582-1154116606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node60/50582-1154116606/instance-50582-1154116606.opb 562811103 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1319032/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=3636 CPUtime=0 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 158 0 0 0 0 0 0 0 18 0 1 0 158530588 3723264 141 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 909 142 90 232 0 674 0 [startup+10.002 s] /proc/loadavg: 0.93 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1252480/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=75240 CPUtime=9.99 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 22970 0 0 0 988 11 0 0 25 0 1 0 158530588 77045760 16752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134537040 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 18810 16752 100 232 0 18575 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 75240 [startup+20.009 s] /proc/loadavg: 0.94 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1216512/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=138800 CPUtime=19.99 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 38199 0 0 0 1969 30 0 0 25 0 1 0 158530588 142131200 25781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 34700 25781 108 232 0 34465 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 138800 [startup+30.0159 s] /proc/loadavg: 0.95 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1214208/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=139420 CPUtime=29.99 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 38787 0 0 0 2959 40 0 0 25 0 1 0 158530588 142766080 26369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550377 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 34855 26369 108 232 0 34620 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 139420 [startup+40.0209 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1212352/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=140084 CPUtime=40 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 39408 0 0 0 3946 54 0 0 25 0 1 0 158530588 143446016 26849 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549939 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35021 26849 108 232 0 34786 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 140084 [startup+50.0269 s] /proc/loadavg: 0.96 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1209216/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=140476 CPUtime=50 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40278 0 0 0 4934 66 0 0 25 0 1 0 158530588 143847424 27625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35119 27625 108 232 0 34884 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 140476 [startup+60.0329 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1208512/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=140732 CPUtime=60 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40586 0 0 0 5923 77 0 0 25 0 1 0 158530588 144109568 27792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35183 27792 108 232 0 34948 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 140732 [startup+70.0389 s] /proc/loadavg: 0.97 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1207744/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=141148 CPUtime=70.04 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 40897 0 0 0 6916 88 0 0 25 0 1 0 158530588 144535552 27962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35287 27962 108 232 0 35052 0 Current children cumulated CPU time (s) 70.04 Current children cumulated vsize (Kb) 141148 [startup+80.0809 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1207360/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=141544 CPUtime=80.05 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 41197 0 0 0 7907 98 0 0 25 0 1 0 158530588 144941056 28074 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35386 28074 108 232 0 35151 0 Current children cumulated CPU time (s) 80.05 Current children cumulated vsize (Kb) 141544 [startup+90.0869 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1205888/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=141680 CPUtime=90.05 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 41628 0 0 0 8898 107 0 0 25 0 1 0 158530588 145080320 28458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35420 28458 108 232 0 35185 0 Current children cumulated CPU time (s) 90.05 Current children cumulated vsize (Kb) 141680 [startup+100.092 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1203904/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=142256 CPUtime=100.05 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42273 0 0 0 9887 118 0 0 25 0 1 0 158530588 145670144 28962 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35564 28962 108 232 0 35329 0 Current children cumulated CPU time (s) 100.05 Current children cumulated vsize (Kb) 142256 [startup+110.098 s] /proc/loadavg: 0.98 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1202048/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=142392 CPUtime=110.06 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42813 0 0 0 10879 127 0 0 25 0 1 0 158530588 145809408 29361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35598 29361 108 232 0 35363 0 Current children cumulated CPU time (s) 110.06 Current children cumulated vsize (Kb) 142392 [startup+120.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1201856/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=142672 CPUtime=120.06 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 42985 0 0 0 11868 138 0 0 25 0 1 0 158530588 146096128 29439 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35668 29439 108 232 0 35433 0 Current children cumulated CPU time (s) 120.06 Current children cumulated vsize (Kb) 142672 [startup+130.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1201600/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=142816 CPUtime=130.06 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 43185 0 0 0 12859 147 0 0 25 0 1 0 158530588 146243584 29498 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35704 29498 108 232 0 35469 0 Current children cumulated CPU time (s) 130.06 Current children cumulated vsize (Kb) 142816 [startup+140.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1201152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143056 CPUtime=140.06 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 43428 0 0 0 13850 156 0 0 25 0 1 0 158530588 146489344 29647 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35764 29647 108 232 0 35529 0 Current children cumulated CPU time (s) 140.06 Current children cumulated vsize (Kb) 143056 [startup+150.123 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1198976/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143348 CPUtime=150.06 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44030 0 0 0 14843 163 0 0 25 0 1 0 158530588 146788352 30155 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35837 30155 108 232 0 35602 0 Current children cumulated CPU time (s) 150.06 Current children cumulated vsize (Kb) 143348 [startup+160.128 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1198784/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143348 CPUtime=160.07 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44164 0 0 0 15834 173 0 0 25 0 1 0 158530588 146788352 30195 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35837 30195 108 232 0 35602 0 Current children cumulated CPU time (s) 160.07 Current children cumulated vsize (Kb) 143348 [startup+170.134 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1198592/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143484 CPUtime=170.08 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44346 0 0 0 16826 182 0 0 25 0 1 0 158530588 146927616 30236 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35871 30236 108 232 0 35636 0 Current children cumulated CPU time (s) 170.08 Current children cumulated vsize (Kb) 143484 [startup+180.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1198464/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143624 CPUtime=180.07 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44496 0 0 0 17815 192 0 0 25 0 1 0 158530588 147070976 30292 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35906 30292 108 232 0 35671 0 Current children cumulated CPU time (s) 180.07 Current children cumulated vsize (Kb) 143624 [startup+190.146 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1197632/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143756 CPUtime=190.08 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44814 0 0 0 18808 200 0 0 25 0 1 0 158530588 147206144 30516 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35939 30516 108 232 0 35704 0 Current children cumulated CPU time (s) 190.08 Current children cumulated vsize (Kb) 143756 [startup+200.152 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 /proc/meminfo: memFree=1197312/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=143756 CPUtime=200.09 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 44951 0 0 0 19799 210 0 0 25 0 1 0 158530588 147206144 30559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 35939 30559 108 232 0 35704 0 Current children cumulated CPU time (s) 200.09 Current children cumulated vsize (Kb) 143756 [startup+210.159 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2151 ################ # More data... # ################ /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66237 0 0 0 177116 1037 0 0 25 0 1 0 158530588 221319168 42257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42257 108 232 0 53798 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 216132 [startup+1783.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1782.53 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66237 0 0 0 177216 1037 0 0 25 0 1 0 158530588 221319168 42257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42257 108 232 0 53798 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 216132 [startup+1784.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1783.54 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66238 0 0 0 177316 1038 0 0 25 0 1 0 158530588 221319168 42258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42258 108 232 0 53798 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 216132 [startup+1785.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1784.54 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66238 0 0 0 177416 1038 0 0 25 0 1 0 158530588 221319168 42258 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550346 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42258 108 232 0 53798 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 216132 [startup+1786.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1785.55 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66286 0 0 0 177516 1039 0 0 25 0 1 0 158530588 221319168 42259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42259 108 232 0 53798 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 216132 [startup+1787.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1786.55 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66286 0 0 0 177616 1039 0 0 25 0 1 0 158530588 221319168 42259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42259 108 232 0 53798 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 216132 [startup+1788.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1787.55 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177716 1039 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42260 108 232 0 53798 0 Current children cumulated CPU time (s) 1787.55 Current children cumulated vsize (Kb) 216132 [startup+1789.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1788.56 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177816 1040 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42260 108 232 0 53798 0 Current children cumulated CPU time (s) 1788.56 Current children cumulated vsize (Kb) 216132 [startup+1790.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1789.57 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66287 0 0 0 177916 1041 0 0 25 0 1 0 158530588 221319168 42260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42260 108 232 0 53798 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 216132 [startup+1791.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1790.57 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66290 0 0 0 178016 1041 0 0 25 0 1 0 158530588 221319168 42263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42263 108 232 0 53798 0 Current children cumulated CPU time (s) 1790.57 Current children cumulated vsize (Kb) 216132 [startup+1792.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1791.58 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66290 0 0 0 178116 1042 0 0 25 0 1 0 158530588 221319168 42263 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42263 108 232 0 53798 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 216132 [startup+1793.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1792.59 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66291 0 0 0 178217 1042 0 0 25 0 1 0 158530588 221319168 42264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42264 108 232 0 53798 0 Current children cumulated CPU time (s) 1792.59 Current children cumulated vsize (Kb) 216132 [startup+1794.17 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1793.58 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66291 0 0 0 178316 1042 0 0 25 0 1 0 158530588 221319168 42264 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552269 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42264 108 232 0 53798 0 Current children cumulated CPU time (s) 1793.58 Current children cumulated vsize (Kb) 216132 [startup+1795.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1794.6 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66292 0 0 0 178417 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552216 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42265 108 232 0 53798 0 Current children cumulated CPU time (s) 1794.6 Current children cumulated vsize (Kb) 216132 [startup+1796.18 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150152/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1795.6 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66292 0 0 0 178517 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550808 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42265 108 232 0 53798 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 216132 [startup+1797.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1796.6 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66339 0 0 0 178617 1043 0 0 25 0 1 0 158530588 221319168 42265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42265 108 232 0 53798 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 216132 [startup+1798.19 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1797.6 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66340 0 0 0 178717 1043 0 0 25 0 1 0 158530588 221319168 42266 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42266 108 232 0 53798 0 Current children cumulated CPU time (s) 1797.6 Current children cumulated vsize (Kb) 216132 [startup+1799.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1798.61 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66341 0 0 0 178817 1044 0 0 25 0 1 0 158530588 221319168 42267 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42267 108 232 0 53798 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 216132 [startup+1800.2 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1799.62 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66344 0 0 0 178917 1045 0 0 25 0 1 0 158530588 221319168 42270 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42270 108 232 0 53798 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 216132 [startup+1801.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1800.62 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66345 0 0 0 179017 1045 0 0 25 0 1 0 158530588 221319168 42271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42271 108 232 0 53798 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 216132 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.21 s] /proc/loadavg: 0.99 0.98 0.99 2/64 2349 /proc/meminfo: memFree=1150088/2055920 swapFree=4184148/4192956 [pid=2151] ppid=2149 vsize=216132 CPUtime=1800.62 /proc/2151/stat : 2151 (PBS4L) R 2149 2151 2094 0 -1 4194304 66345 0 0 0 179017 1045 0 0 25 0 1 0 158530588 221319168 42271 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/2151/statm: 54033 42271 108 232 0 53798 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 216132 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.24 CPU time (s): 1800.66 CPU user time (s): 1790.18 CPU system time (s): 10.4844 CPU usage (%): 99.9677 Max. virtual memory (cumulated for all children) (Kb): 216132 The end
Begin job on node60 on Fri Jul 28 19:56:47 UTC 2006 FILE ID= 50582-1154116606 PBS_JOBID= 886736 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node60/50582-1154116606/instance-50582-1154116606.opb 562811103 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node60/watcher-50582-1154116606 -o ROOT/results/node60/solver-50582-1154116606 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node60/50582-1154116606/instance-50582-1154116606.opb 562811103 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= e81449c340a6e16e28a331cb4252cc2b RANDOM SEED= 562811103 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.231 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.231 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: 1319304 kB Buffers: 32804 kB Cached: 628844 kB SwapCached: 2576 kB Active: 108456 kB Inactive: 561780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1319304 kB SwapTotal: 4192956 kB SwapFree: 4184148 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14584 kB Slab: 52408 kB Committed_AS: 1124704 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node60 on Fri Jul 28 20:26:49 UTC 2006