Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.28 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ haplotype/normalized-simp-nonunif-100_100.07.opb |
MD5SUM | 7a51facc2b0ceeb02915874508a30079 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 37 |
Best CPU time to get the best result obtained on this benchmark | 97.3562 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 37 |
Optimality of the best value was proved | YES |
Number of variables | 21756 |
Total number of constraints | 1266468 |
Number of constraints which are clauses | 1262688 |
Number of constraints which are cardinality constraints (but not clauses) | 3780 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 168 |
Number of terms in the objective function | 168 |
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 | 168 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 166 |
Number of bits of the biggest number in a constraint | 8 |
Biggest sum of numbers in a constraint | 334 |
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/node13/50580-1154115665/instance-50580-1154115665.opb ...... 14.31 c done parsing opb. 14.31 o 168 14.33 o 167 14.35 o 166 14.37 o 165 14.39 o 164 14.41 o 163 14.43 o 162 14.45 o 161 14.47 o 160 14.49 o 159 14.51 o 158 14.53 o 157 14.56 o 156 14.58 o 155 14.60 o 154 14.62 o 153 14.64 o 152 14.66 o 151 14.68 o 150 14.70 o 149 14.72 o 148 14.74 o 147 14.76 o 146 14.78 o 145 14.80 o 144 14.82 o 143 14.84 o 142 14.86 o 141 14.88 o 140 14.90 o 139 14.92 o 138 14.94 o 137 14.96 o 136 14.98 o 135 15.00 o 134 15.02 o 133 15.04 o 132 15.06 o 131 15.08 o 130 15.11 o 129 15.13 o 128 15.15 o 127 15.17 o 126 15.19 o 125 15.21 o 124 15.23 o 123 15.25 o 122 15.27 o 121 15.29 o 120 15.31 o 119 15.33 o 118 15.35 o 117 15.37 o 116 15.39 o 115 15.41 o 114 15.43 o 113 15.45 o 112 15.48 o 111 15.50 o 110 15.52 o 109 15.54 o 108 15.56 o 107 15.58 o 106 15.60 o 105 15.62 o 104 15.64 o 103 15.66 o 102 15.68 o 101 15.70 o 100 15.72 o 99 15.74 o 98 15.76 o 97 15.78 o 96 15.80 o 95 15.82 o 94 15.84 o 93 15.87 o 92 15.89 o 91 15.91 o 90 15.93 o 89 17.74 o 88 17.91 o 87 18.14 o 86 18.45 o 85 18.50 o 84 18.64 o 83 18.95 o 82 19.12 o 81 19.17 o 80 19.67 o 79 20.70 o 78 20.75 o 77 26.74 o 76 28.20 o 75 28.27 o 74 56.80 o 73 148.06 o 72 349.15 o 71 349.79 o 70 537.15 o 69 740.28 o 68
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/node13/watcher-50580-1154115665 -o ROOT/results/node13/solver-50580-1154115665 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node13/50580-1154115665/instance-50580-1154115665.opb 410282567 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.85 0.98 0.99 3/64 8716 /proc/meminfo: memFree=1455112/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=3440 CPUtime=0 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 255 0 0 0 0 0 0 0 18 0 1 0 158427514 3522560 238 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 860 239 90 232 0 625 0 [startup+10.003 s] /proc/loadavg: 0.87 0.98 0.99 2/64 8716 /proc/meminfo: memFree=1389128/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=74980 CPUtime=9.99 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 22891 0 0 0 987 12 0 0 25 0 1 0 158427514 76779520 16663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134630277 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 18745 16663 100 232 0 18510 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 74980 [startup+20.0103 s] /proc/loadavg: 0.89 0.98 0.99 2/64 8716 /proc/meminfo: memFree=1363976/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=137544 CPUtime=19.99 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 35448 0 0 0 1965 34 0 0 25 0 1 0 158427514 140845056 23024 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34386 23024 108 232 0 34151 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 137544 [startup+30.0166 s] /proc/loadavg: 0.91 0.98 0.99 2/64 8716 /proc/meminfo: memFree=1361480/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=138396 CPUtime=29.98 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 36093 0 0 0 2954 44 0 0 25 0 1 0 158427514 141717504 23669 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34599 23669 108 232 0 34364 0 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 138396 [startup+40.023 s] /proc/loadavg: 0.92 0.98 0.99 2/64 8716 /proc/meminfo: memFree=1359112/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=138796 CPUtime=39.99 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 36765 0 0 0 3941 58 0 0 25 0 1 0 158427514 142127104 24255 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546536 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34699 24255 108 232 0 34464 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 138796 [startup+50.0293 s] /proc/loadavg: 0.93 0.98 0.99 2/64 8716 /proc/meminfo: memFree=1357000/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=139184 CPUtime=49.99 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 37379 0 0 0 4930 69 0 0 25 0 1 0 158427514 142524416 24783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34796 24783 108 232 0 34561 0 Current children cumulated CPU time (s) 49.99 Current children cumulated vsize (Kb) 139184 [startup+60.0357 s] /proc/loadavg: 0.94 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1355528/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=139320 CPUtime=60 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 37812 0 0 0 5919 81 0 0 25 0 1 0 158427514 142663680 25087 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34830 25087 108 232 0 34595 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 139320 [startup+70.043 s] /proc/loadavg: 0.95 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1355272/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=139596 CPUtime=70 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 38026 0 0 0 6906 94 0 0 25 0 1 0 158427514 142946304 25172 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 34899 25172 108 232 0 34664 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 139596 [startup+80.0493 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1354824/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140000 CPUtime=80.01 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 38288 0 0 0 7897 104 0 0 25 0 1 0 158427514 143360000 25305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35000 25305 108 232 0 34765 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 140000 [startup+90.0557 s] /proc/loadavg: 0.96 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1353096/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140280 CPUtime=90.01 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 38806 0 0 0 8887 114 0 0 25 0 1 0 158427514 143646720 25737 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35070 25737 108 232 0 34835 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 140280 [startup+100.062 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1352648/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140708 CPUtime=100.01 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 39055 0 0 0 9876 125 0 0 25 0 1 0 158427514 144084992 25857 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552002 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35177 25857 108 232 0 34942 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 140708 [startup+110.068 s] /proc/loadavg: 0.97 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1352328/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140840 CPUtime=110.02 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 39210 0 0 0 10869 133 0 0 25 0 1 0 158427514 144220160 25883 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35210 25883 108 232 0 34975 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 140840 [startup+120.075 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1352200/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140840 CPUtime=120.01 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 39332 0 0 0 11859 142 0 0 25 0 1 0 158427514 144220160 25919 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35210 25919 108 232 0 34975 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 140840 [startup+130.081 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1351368/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=140960 CPUtime=130.02 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 39755 0 0 0 12849 153 0 0 25 0 1 0 158427514 144343040 26170 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35240 26170 108 232 0 35005 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 140960 [startup+140.087 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1349128/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=141372 CPUtime=140.03 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 40433 0 0 0 13839 164 0 0 25 0 1 0 158427514 144764928 26719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35343 26719 108 232 0 35108 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 141372 [startup+150.094 s] /proc/loadavg: 0.98 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1348872/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=141372 CPUtime=150.03 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 40596 0 0 0 14829 174 0 0 25 0 1 0 158427514 144764928 26753 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35343 26753 108 232 0 35108 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 141372 [startup+160.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1348744/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=141496 CPUtime=160.03 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 40713 0 0 0 15819 184 0 0 25 0 1 0 158427514 144891904 26784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35374 26784 108 232 0 35139 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 141496 [startup+170.106 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1348424/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=141496 CPUtime=170.03 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 40926 0 0 0 16812 191 0 0 25 0 1 0 158427514 144891904 26868 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35374 26868 108 232 0 35139 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 141496 [startup+180.113 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1347592/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=141796 CPUtime=180.04 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 41233 0 0 0 17801 203 0 0 25 0 1 0 158427514 145199104 27089 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35449 27089 108 232 0 35214 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 141796 [startup+190.119 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1346632/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=142068 CPUtime=190.05 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 41584 0 0 0 18792 213 0 0 25 0 1 0 158427514 145477632 27354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35517 27354 108 232 0 35282 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 142068 [startup+200.125 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 /proc/meminfo: memFree=1344840/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=142068 CPUtime=200.04 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 42068 0 0 0 19783 221 0 0 25 0 1 0 158427514 145477632 27752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 35517 27752 108 232 0 35282 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 142068 [startup+210.132 s] /proc/loadavg: 0.99 0.98 0.99 2/64 8718 ################ # More data... # ################ /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61069 0 0 0 177090 1063 0 0 25 0 1 0 158427514 219242496 37723 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37723 108 232 0 53291 0 Current children cumulated CPU time (s) 1781.53 Current children cumulated vsize (Kb) 214104 [startup+1783.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1782.53 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61070 0 0 0 177190 1063 0 0 25 0 1 0 158427514 219242496 37724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550051 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37724 108 232 0 53291 0 Current children cumulated CPU time (s) 1782.53 Current children cumulated vsize (Kb) 214104 [startup+1784.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1783.54 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61113 0 0 0 177290 1064 0 0 25 0 1 0 158427514 219242496 37724 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37724 108 232 0 53291 0 Current children cumulated CPU time (s) 1783.54 Current children cumulated vsize (Kb) 214104 [startup+1785.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1784.54 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61114 0 0 0 177390 1064 0 0 25 0 1 0 158427514 219242496 37725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37725 108 232 0 53291 0 Current children cumulated CPU time (s) 1784.54 Current children cumulated vsize (Kb) 214104 [startup+1786.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1785.55 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61114 0 0 0 177490 1065 0 0 25 0 1 0 158427514 219242496 37725 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37725 108 232 0 53291 0 Current children cumulated CPU time (s) 1785.55 Current children cumulated vsize (Kb) 214104 [startup+1787.17 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1786.55 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61115 0 0 0 177590 1065 0 0 25 0 1 0 158427514 219242496 37726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37726 108 232 0 53291 0 Current children cumulated CPU time (s) 1786.55 Current children cumulated vsize (Kb) 214104 [startup+1788.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1787.56 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61115 0 0 0 177690 1066 0 0 25 0 1 0 158427514 219242496 37726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558866 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37726 108 232 0 53291 0 Current children cumulated CPU time (s) 1787.56 Current children cumulated vsize (Kb) 214104 [startup+1789.18 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1788.57 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61117 0 0 0 177791 1066 0 0 25 0 1 0 158427514 219242496 37728 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37728 108 232 0 53291 0 Current children cumulated CPU time (s) 1788.57 Current children cumulated vsize (Kb) 214104 [startup+1790.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1789.57 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61118 0 0 0 177891 1066 0 0 25 0 1 0 158427514 219242496 37729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37729 108 232 0 53291 0 Current children cumulated CPU time (s) 1789.57 Current children cumulated vsize (Kb) 214104 [startup+1791.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1790.58 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61118 0 0 0 177991 1067 0 0 25 0 1 0 158427514 219242496 37729 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37729 108 232 0 53291 0 Current children cumulated CPU time (s) 1790.58 Current children cumulated vsize (Kb) 214104 [startup+1792.19 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1791.58 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61119 0 0 0 178091 1067 0 0 25 0 1 0 158427514 219242496 37730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37730 108 232 0 53291 0 Current children cumulated CPU time (s) 1791.58 Current children cumulated vsize (Kb) 214104 [startup+1793.2 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1792.58 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61119 0 0 0 178191 1067 0 0 25 0 1 0 158427514 219242496 37730 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37730 108 232 0 53291 0 Current children cumulated CPU time (s) 1792.58 Current children cumulated vsize (Kb) 214104 [startup+1794.21 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1793.59 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61120 0 0 0 178291 1068 0 0 25 0 1 0 158427514 219242496 37731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551987 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37731 108 232 0 53291 0 Current children cumulated CPU time (s) 1793.59 Current children cumulated vsize (Kb) 214104 [startup+1795.21 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1794.59 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61120 0 0 0 178391 1068 0 0 25 0 1 0 158427514 219242496 37731 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37731 108 232 0 53291 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (Kb) 214104 [startup+1796.22 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1795.6 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61121 0 0 0 178491 1069 0 0 25 0 1 0 158427514 219242496 37732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552208 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37732 108 232 0 53291 0 Current children cumulated CPU time (s) 1795.6 Current children cumulated vsize (Kb) 214104 [startup+1797.22 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304584/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1796.6 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61121 0 0 0 178591 1069 0 0 25 0 1 0 158427514 219242496 37732 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37732 108 232 0 53291 0 Current children cumulated CPU time (s) 1796.6 Current children cumulated vsize (Kb) 214104 [startup+1798.23 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304520/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1797.61 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61173 0 0 0 178691 1070 0 0 25 0 1 0 158427514 219242496 37741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551995 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37741 108 232 0 53291 0 Current children cumulated CPU time (s) 1797.61 Current children cumulated vsize (Kb) 214104 [startup+1799.23 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304520/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1798.61 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61175 0 0 0 178791 1070 0 0 25 0 1 0 158427514 219242496 37743 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37743 108 232 0 53291 0 Current children cumulated CPU time (s) 1798.61 Current children cumulated vsize (Kb) 214104 [startup+1800.24 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304520/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1799.62 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61176 0 0 0 178891 1071 0 0 25 0 1 0 158427514 219242496 37744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37744 108 232 0 53291 0 Current children cumulated CPU time (s) 1799.62 Current children cumulated vsize (Kb) 214104 [startup+1801.24 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304520/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1800.62 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61176 0 0 0 178991 1071 0 0 25 0 1 0 158427514 219242496 37744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37744 108 232 0 53291 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 214104 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.24 s] /proc/loadavg: 1.00 1.00 0.99 2/64 8916 /proc/meminfo: memFree=1304520/2055920 swapFree=4183264/4192956 [pid=8716] ppid=8714 vsize=214104 CPUtime=1800.62 /proc/8716/stat : 8716 (PBS4L) R 8714 8716 8667 0 -1 4194304 61176 0 0 0 178991 1071 0 0 25 0 1 0 158427514 219242496 37744 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8716/statm: 53526 37744 108 232 0 53291 0 Current children cumulated CPU time (s) 1800.62 Current children cumulated vsize (Kb) 214104 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.28 CPU time (s): 1800.66 CPU user time (s): 1789.92 CPU system time (s): 10.7434 CPU usage (%): 99.9658 Max. virtual memory (cumulated for all children) (Kb): 214104 The end
Begin job on node13 on Fri Jul 28 19:41:06 UTC 2006 FILE ID= 50580-1154115665 PBS_JOBID= 886710 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.07.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node13/50580-1154115665/instance-50580-1154115665.opb 410282567 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node13/watcher-50580-1154115665 -o ROOT/results/node13/solver-50580-1154115665 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node13/50580-1154115665/instance-50580-1154115665.opb 410282567 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 7a51facc2b0ceeb02915874508a30079 RANDOM SEED= 410282567 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.240 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.240 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: 1455512 kB Buffers: 35876 kB Cached: 487704 kB SwapCached: 3352 kB Active: 89112 kB Inactive: 442928 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1455512 kB SwapTotal: 4192956 kB SwapFree: 4183264 kB Dirty: 192 kB Writeback: 0 kB Mapped: 14476 kB Slab: 54408 kB Committed_AS: 634416 kB PageTables: 1488 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node13 on Fri Jul 28 20:11:07 UTC 2006