Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.11 | 1800.64 |
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 | 131.899 |
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/0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00/0.00 c Solving /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb ...... 18.49/18.55 c done parsing opb. 18.49/18.55 o 176 18.49/18.57 o 175 18.49/18.59 o 174 18.59/18.61 o 173 18.59/18.63 o 172 18.59/18.65 o 171 18.59/18.67 o 170 18.59/18.69 o 169 18.69/18.71 o 168 18.69/18.73 o 167 18.69/18.75 o 166 18.69/18.77 o 165 18.69/18.78 o 164 18.78/18.80 o 163 18.78/18.82 o 162 18.78/18.84 o 161 18.78/18.86 o 160 18.78/18.88 o 159 18.89/18.90 o 158 18.89/18.92 o 157 18.89/18.94 o 156 18.89/18.96 o 155 18.89/18.98 o 154 18.98/19.00 o 153 18.98/19.02 o 152 18.98/19.04 o 151 18.98/19.06 o 150 18.98/19.08 o 149 19.08/19.10 o 148 19.08/19.12 o 147 19.08/19.14 o 146 19.08/19.16 o 145 19.08/19.18 o 144 19.18/19.20 o 143 19.18/19.22 o 142 19.18/19.24 o 141 19.18/19.26 o 140 19.18/19.28 o 139 19.18/19.30 o 138 19.29/19.31 o 137 19.29/19.33 o 136 19.29/19.36 o 135 19.29/19.38 o 134 19.29/19.39 o 133 19.39/19.41 o 132 19.39/19.43 o 131 19.39/19.45 o 130 19.39/19.47 o 129 19.39/19.49 o 128 19.49/19.51 o 127 19.49/19.53 o 126 19.49/19.55 o 125 19.49/19.57 o 124 19.49/19.59 o 123 19.58/19.61 o 122 19.58/19.63 o 121 19.58/19.65 o 120 19.58/19.67 o 119 19.58/19.69 o 118 19.69/19.71 o 117 19.69/19.73 o 116 19.69/19.75 o 115 19.69/19.77 o 114 19.69/19.79 o 113 19.79/19.81 o 112 19.79/19.83 o 111 19.79/19.85 o 110 19.79/19.87 o 109 19.79/19.89 o 108 19.88/19.91 o 107 19.88/19.93 o 106 19.88/19.95 o 105 19.88/19.97 o 104 19.88/19.99 o 103 19.99/20.01 o 102 19.99/20.03 o 101 19.99/20.05 o 100 19.99/20.07 o 99 19.99/20.09 o 98 20.09/20.11 o 97 20.09/20.13 o 96 20.09/20.15 o 95 20.09/20.17 o 94 21.48/21.56 o 93 21.48/21.59 o 92 21.68/21.70 o 91 21.68/21.79 o 90 21.79/21.83 o 89 21.89/21.97 o 88 21.99/22.00 o 87 22.29/22.30 o 86 22.29/22.33 o 85 22.78/22.81 o 84 23.98/24.05 o 83 24.09/24.10 o 82 24.19/24.25 o 81 25.29/25.39 o 80 25.78/25.90 o 79 28.89/28.99 o 78 31.28/31.33 o 77 293.52/293.77 o 76 595.25/595.51 o 75 1008.05/1008.44 o 74 1539.92/1540.44 o 73 1800.07/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node50/watcher-355227-1176785856 -o ROOT/results/node50/solver-355227-1176785856 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31850 /proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=3560 CPUtime=0 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 490 0 0 0 0 0 0 0 18 0 1 0 33430838 3645440 472 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134572935 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 890 476 81 219 0 667 0 [startup+0.0963861 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31850 /proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=6068 CPUtime=0.09 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1410 0 0 0 9 0 0 0 18 0 1 0 33430838 6213632 1294 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 1517 1294 88 219 0 1294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6068 [startup+0.101386 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31850 /proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=6068 CPUtime=0.09 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1415 0 0 0 9 0 0 0 18 0 1 0 33430838 6213632 1299 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134530219 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 1517 1299 88 219 0 1294 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6068 [startup+0.301403 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31850 /proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=7648 CPUtime=0.29 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 1826 0 0 0 29 0 0 0 19 0 1 0 33430838 7831552 1564 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134636035 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 1912 1564 89 219 0 1689 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 7648 [startup+0.701439 s] /proc/loadavg: 0.92 0.98 0.99 3/64 31850 /proc/meminfo: memFree=1472768/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=9980 CPUtime=0.69 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 2606 0 0 0 68 1 0 0 22 0 1 0 33430838 10219520 2151 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134640335 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 2495 2151 89 219 0 2272 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 9980 [startup+1.50151 s] /proc/loadavg: 0.92 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1462840/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=14224 CPUtime=1.5 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 4049 0 0 0 147 3 0 0 25 0 1 0 33430838 14565376 3209 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134797988 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 3556 3209 89 219 0 3333 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 14224 [startup+3.10165 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1457016/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=23372 CPUtime=3.1 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 7055 0 0 0 305 5 0 0 25 0 1 0 33430838 23932928 5446 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135022908 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 5843 5446 89 219 0 5620 0 Current children cumulated CPU time (s) 3.1 Current children cumulated vsize (KiB) 23372 [startup+6.30193 s] /proc/loadavg: 0.93 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1440120/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=39976 CPUtime=6.3 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 12631 0 0 0 622 8 0 0 25 0 1 0 33430838 40935424 9485 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134529912 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 9994 9486 89 219 0 9771 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 39976 [startup+12.7015 s] /proc/loadavg: 0.94 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1404216/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=76088 CPUtime=12.69 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 24450 0 0 0 1254 15 0 0 25 0 1 0 33430838 77914112 18231 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134518672 0 0 4096 0 0 0 0 17 1 0 0 /proc/31850/statm: 19022 18231 89 219 0 18799 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 76088 [startup+25.5016 s] /proc/loadavg: 0.95 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1369848/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=139240 CPUtime=25.49 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 38409 0 0 0 2510 39 0 0 25 0 1 0 33430838 142581760 25998 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 34810 25998 104 219 0 34587 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 139240 [startup+51.1029 s] /proc/loadavg: 0.96 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1363448/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=140428 CPUtime=51.08 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 40279 0 0 0 5041 67 0 0 25 0 1 0 33430838 143798272 27633 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 35107 27633 104 219 0 34884 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 140428 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1357048/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=142344 CPUtime=102.27 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 42551 0 0 0 10105 122 0 0 25 0 1 0 33430838 145760256 29200 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 35586 29200 104 219 0 35363 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 142344 [startup+162.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 31851 /proc/meminfo: memFree=1352824/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=143436 CPUtime=162.25 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 44277 0 0 0 16049 176 0 0 25 0 1 0 33430838 146878464 30221 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 35859 30221 104 219 0 35636 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 143436 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/71 31959 /proc/meminfo: memFree=1348544/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=144008 CPUtime=222.19 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 45669 0 0 0 21984 235 0 0 25 0 1 0 33430838 147464192 31002 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 36002 31002 104 219 0 35779 0 Current children cumulated CPU time (s) 222.19 Current children cumulated vsize (KiB) 144008 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1346872/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=144600 CPUtime=282.12 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 46787 0 0 0 27931 281 0 0 25 0 1 0 33430838 148070400 31650 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 36150 31650 104 219 0 35927 0 Current children cumulated CPU time (s) 282.12 Current children cumulated vsize (KiB) 144600 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1342776/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=210576 CPUtime=342.11 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 48379 0 0 0 33888 323 0 0 25 0 1 0 33430838 215629824 32725 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 52644 32725 104 219 0 52421 0 Current children cumulated CPU time (s) 342.11 Current children cumulated vsize (KiB) 210576 [startup+402.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1340600/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=210828 CPUtime=402.1 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 49397 0 0 0 39842 368 0 0 25 0 1 0 33430838 215887872 33226 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 52707 33226 104 219 0 52484 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 210828 [startup+462.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1339064/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=211276 CPUtime=462.09 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 50231 0 0 0 45800 409 0 0 25 0 1 0 33430838 216346624 33590 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 52819 33590 104 219 0 52596 0 Current children cumulated CPU time (s) 462.09 Current children cumulated vsize (KiB) 211276 [startup+522.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1334392/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=211752 CPUtime=522.07 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 51810 0 0 0 51755 452 0 0 25 0 1 0 33430838 216834048 34840 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 52938 34840 104 219 0 52715 0 Current children cumulated CPU time (s) 522.07 Current children cumulated vsize (KiB) 211752 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32049 /proc/meminfo: memFree=1331448/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=211868 CPUtime=582.05 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 52882 0 0 0 57716 489 0 0 25 0 1 0 33430838 216952832 35489 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 52967 35489 104 219 0 52744 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 211868 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1331064/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=212228 CPUtime=642.04 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 53395 0 0 0 63684 520 0 0 25 0 1 0 33430838 217321472 35579 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53057 35579 104 219 0 52834 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 212228 ################ # More data... # ################ [startup+822.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1324664/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=212860 CPUtime=821.99 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 56195 0 0 0 81581 618 0 0 25 0 1 0 33430838 217968640 37204 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53215 37204 104 219 0 52992 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 212860 [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1324344/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=212988 CPUtime=881.98 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 56601 0 0 0 87549 649 0 0 25 0 1 0 33430838 218099712 37281 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547198 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53247 37281 104 219 0 53024 0 Current children cumulated CPU time (s) 881.98 Current children cumulated vsize (KiB) 212988 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1323960/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=213388 CPUtime=941.97 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 57065 0 0 0 93515 682 0 0 25 0 1 0 33430838 218509312 37369 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53347 37369 104 219 0 53124 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 213388 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1323000/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=213672 CPUtime=1001.95 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 57692 0 0 0 99481 714 0 0 25 0 1 0 33430838 218800128 37620 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53418 37620 104 219 0 53195 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 213672 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1318200/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=213956 CPUtime=1061.94 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 59258 0 0 0 105453 741 0 0 25 0 1 0 33430838 219090944 38810 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53489 38810 104 219 0 53266 0 Current children cumulated CPU time (s) 1061.94 Current children cumulated vsize (KiB) 213956 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1317816/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=214084 CPUtime=1121.93 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 59674 0 0 0 111425 768 0 0 25 0 1 0 33430838 219222016 38897 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53521 38897 104 219 0 53298 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 214084 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1317560/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=214220 CPUtime=1181.91 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 60063 0 0 0 117396 795 0 0 25 0 1 0 33430838 219361280 38957 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53555 38957 104 219 0 53332 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 214220 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1314360/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=214344 CPUtime=1241.9 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 61236 0 0 0 123365 825 0 0 25 0 1 0 33430838 219488256 39801 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53586 39801 104 219 0 53363 0 Current children cumulated CPU time (s) 1241.9 Current children cumulated vsize (KiB) 214344 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1309176/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=214612 CPUtime=1301.88 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 62764 0 0 0 129337 851 0 0 25 0 1 0 33430838 219762688 41047 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53653 41047 104 219 0 53430 0 Current children cumulated CPU time (s) 1301.88 Current children cumulated vsize (KiB) 214612 [startup+1362.3 s] /proc/loadavg: 0.99 0.98 0.99 2/65 32051 /proc/meminfo: memFree=1305912/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215044 CPUtime=1361.86 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 63964 0 0 0 135309 877 0 0 25 0 1 0 33430838 220205056 41871 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53761 41871 104 219 0 53538 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 215044 [startup+1422.31 s] /proc/loadavg: 1.05 1.00 1.00 2/65 32051 /proc/meminfo: memFree=1305720/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215044 CPUtime=1421.85 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 64345 0 0 0 141280 905 0 0 25 0 1 0 33430838 220205056 41923 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547089 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53761 41923 104 219 0 53538 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 215044 [startup+1482.3 s] /proc/loadavg: 1.07 1.01 1.00 2/65 32051 /proc/meminfo: memFree=1305336/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215500 CPUtime=1481.84 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 64763 0 0 0 147254 930 0 0 25 0 1 0 33430838 220672000 42012 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53875 42012 104 219 0 53652 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 215500 [startup+1542.3 s] /proc/loadavg: 1.10 1.04 1.01 2/65 32051 /proc/meminfo: memFree=1305016/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215500 CPUtime=1541.82 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 65207 0 0 0 153229 953 0 0 25 0 1 0 33430838 220672000 42080 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53875 42080 104 219 0 53652 0 Current children cumulated CPU time (s) 1541.82 Current children cumulated vsize (KiB) 215500 [startup+1602.3 s] /proc/loadavg: 1.04 1.03 1.00 2/65 32051 /proc/meminfo: memFree=1304824/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215620 CPUtime=1601.81 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 65596 0 0 0 159201 980 0 0 25 0 1 0 33430838 220794880 42140 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53905 42140 104 219 0 53682 0 Current children cumulated CPU time (s) 1601.81 Current children cumulated vsize (KiB) 215620 [startup+1662.3 s] /proc/loadavg: 1.01 1.02 1.00 2/65 32051 /proc/meminfo: memFree=1304440/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=215960 CPUtime=1661.79 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66008 0 0 0 165178 1001 0 0 25 0 1 0 33430838 221143040 42223 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 53990 42223 104 219 0 53767 0 Current children cumulated CPU time (s) 1661.79 Current children cumulated vsize (KiB) 215960 [startup+1722.3 s] /proc/loadavg: 1.00 1.02 1.00 2/65 32051 /proc/meminfo: memFree=1304248/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=216076 CPUtime=1721.78 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66390 0 0 0 171153 1025 0 0 25 0 1 0 33430838 221261824 42276 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 54019 42276 104 219 0 53796 0 Current children cumulated CPU time (s) 1721.78 Current children cumulated vsize (KiB) 216076 [startup+1782.3 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32051 /proc/meminfo: memFree=1303992/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=216076 CPUtime=1781.76 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66717 0 0 0 177127 1049 0 0 25 0 1 0 33430838 221261824 42321 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 54019 42321 104 219 0 53796 0 Current children cumulated CPU time (s) 1781.76 Current children cumulated vsize (KiB) 216076 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.00 1.01 1.00 2/65 32051 /proc/meminfo: memFree=1303928/2055920 swapFree=4183816/4192956 [pid=31850] ppid=31848 vsize=216212 CPUtime=1800.07 /proc/31850/stat : 31850 (PBS4) R 31848 31850 28962 0 -1 4194304 66831 0 0 0 178949 1058 0 0 25 0 1 0 33430838 221401088 42341 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31850/statm: 54053 42341 104 219 0 53830 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 216212 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child status: 0 Real time (s): 1800.64 CPU time (s): 1800.11 CPU user time (s): 1789.5 CPU system time (s): 10.6084 CPU usage (%): 99.9705 Max. virtual memory (cumulated for all children) (KiB): 216212 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1789.5 system time used= 10.6084 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 66832 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3106 runsolver used 1.23681 second user time and 3.75143 second system time The end
Begin job on node50 on Tue Apr 17 04:57:36 UTC 2007 IDJOB= 355227 IDBENCH= 2955 IDSOLVER= 157 FILE ID= node50/355227-1176785856 PBS_JOBID= 4580811 Free space on /tmp= 66498 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/haplotype/normalized-simp-nonunif-100_100.14.opb COMMAND LINE= /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node50/convwatcher-355227-1176785856 -o ROOT/results/node50/conversion-355227-1176785856 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node50/watcher-355227-1176785856 -o ROOT/results/node50/solver-355227-1176785856 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/355227-1176785856/PBS4 /tmp/evaluation/355227-1176785856/instance-355227-1176785856.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= e81449c340a6e16e28a331cb4252cc2b RANDOM SEED= 617453403 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node50.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /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.232 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.232 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: 1473240 kB Buffers: 31804 kB Cached: 471728 kB SwapCached: 3272 kB Active: 171988 kB Inactive: 343844 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1473240 kB SwapTotal: 4192956 kB SwapFree: 4183816 kB Dirty: 52740 kB Writeback: 0 kB Mapped: 18048 kB Slab: 52836 kB Committed_AS: 999244 kB PageTables: 1464 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66498 MiB End job on node50 on Tue Apr 17 05:27:39 UTC 2007