Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.11 | 1800.72 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/area_delay/normalized-fir09_area_delay.opb |
MD5SUM | 5a18fe98bad06341d01eaf33ecb4f046 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 17 |
Best CPU time to get the best result obtained on this benchmark | 1800.06 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 17 |
Optimality of the best value was proved | NO |
Number of variables | 13487 |
Total number of constraints | 57800 |
Number of constraints which are clauses | 57800 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 254 |
Number of terms in the objective function | 6486 |
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 | 6486 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 6486 |
Number of bits of the biggest sum of numbers | 13 |
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/372870-1177143645/instance-372870-1177143645.opb ...... 0.79/0.87 c done parsing opb. 0.79/0.87 o 291 0.79/0.89 o 290 0.89/0.91 o 289 0.89/0.93 o 288 0.89/0.96 o 287 1.00/1.00 o 286 1.39/1.47 o 285 189.83/189.93 o 284 209.42/209.56 o 283 230.91/231.09 o 282 241.01/241.16 o 281 274.59/274.76 o 280 296.79/296.96 o 279 347.37/347.53 o 278 373.37/373.58 o 277 393.06/393.21 o 276 393.56/393.80 o 275 425.25/425.40 o 274 524.11/524.32 o 269 524.11/524.35 o 268 524.11/524.37 o 267 524.11/524.39 o 266 524.21/524.41 o 265 525.71/525.91 o 264 702.55/702.90 o 258 702.65/702.92 o 252 702.65/702.94 o 251 702.65/702.96 o 250 702.75/703.01 o 249 702.75/703.03 o 248 702.75/703.05 o 247 702.75/703.07 o 246 703.45/703.73 o 245 1085.22/1085.61 o 244 1800.09/1800.71 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/372870-1177143645/instance-372870-1177143645.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node42/watcher-372870-1177143645 -o ROOT/results/node42/solver-372870-1177143645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372870-1177143645/PBS4 /tmp/evaluation/372870-1177143645/instance-372870-1177143645.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: 1.00 1.00 1.00 3/77 18851 /proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=2884 CPUtime=0 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 491 0 0 0 0 0 0 0 18 0 1 0 162276383 2953216 474 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135022908 0 0 4096 0 0 0 0 17 1 0 0 /proc/18851/statm: 721 476 81 219 0 498 0 [startup+0.082786 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18851 /proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=3500 CPUtime=0.07 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 670 0 0 0 7 0 0 0 18 0 1 0 162276383 3584000 652 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588386 0 0 4096 0 0 0 0 17 1 0 0 /proc/18851/statm: 875 652 87 219 0 652 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3500 [startup+0.101789 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18851 /proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=3500 CPUtime=0.09 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 670 0 0 0 9 0 0 0 18 0 1 0 162276383 3584000 652 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134588368 0 0 4096 0 0 0 0 17 1 0 0 /proc/18851/statm: 875 652 87 219 0 652 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.301827 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18851 /proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=4220 CPUtime=0.29 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 865 0 0 0 29 0 0 0 19 0 1 0 162276383 4321280 847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/18851/statm: 1055 847 87 219 0 832 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4220 [startup+0.701904 s] /proc/loadavg: 1.00 1.00 1.00 3/77 18851 /proc/meminfo: memFree=1751008/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=7864 CPUtime=0.69 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 1840 0 0 0 69 0 0 0 23 0 1 0 162276383 8052736 1483 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/18851/statm: 1966 1484 89 219 0 1743 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7864 [startup+1.50206 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1744408/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=8816 CPUtime=1.49 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2311 0 0 0 144 5 0 0 25 0 1 0 162276383 9027584 1954 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 2204 1954 104 219 0 1981 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8816 [startup+3.10136 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1743064/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=9744 CPUtime=3.09 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2516 0 0 0 304 5 0 0 25 0 1 0 162276383 9977856 2159 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 2436 2159 104 219 0 2213 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9744 [startup+6.30197 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1741976/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=10864 CPUtime=6.29 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 2729 0 0 0 623 6 0 0 25 0 1 0 162276383 11124736 2372 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 2716 2372 104 219 0 2493 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 10864 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1739816/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=14804 CPUtime=12.69 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 3210 0 0 0 1262 7 0 0 25 0 1 0 162276383 15159296 2853 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 3701 2853 104 219 0 3478 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 14804 [startup+25.5016 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1738728/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=14804 CPUtime=25.48 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 3485 0 0 0 2541 7 0 0 25 0 1 0 162276383 15159296 3128 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559756 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 3701 3128 104 219 0 3478 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14804 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1736424/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=19040 CPUtime=51.07 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 4057 0 0 0 5099 8 0 0 25 0 1 0 162276383 19496960 3700 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559864 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 4760 3700 104 219 0 4537 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 19040 [startup+102.305 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1731688/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=27232 CPUtime=102.26 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 5231 0 0 0 10216 10 0 0 25 0 1 0 162276383 27885568 4874 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 6808 4874 104 219 0 6585 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 27232 [startup+162.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1725992/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=27232 CPUtime=162.24 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 6648 0 0 0 16210 14 0 0 25 0 1 0 162276383 27885568 6291 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 6808 6291 104 219 0 6585 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 27232 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1714920/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=54576 CPUtime=222.21 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 9777 0 0 0 22194 27 0 0 25 0 1 0 162276383 55885824 9035 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 13644 9035 104 219 0 13421 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 54576 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1707432/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=59228 CPUtime=282.19 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 11646 0 0 0 28181 38 0 0 25 0 1 0 162276383 60649472 10904 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547071 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 14807 10904 104 219 0 14584 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 59228 [startup+342.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1702376/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=61228 CPUtime=342.18 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 12902 0 0 0 34169 49 0 0 25 0 1 0 162276383 62697472 12160 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 15307 12160 104 219 0 15084 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 61228 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1694376/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=66060 CPUtime=402.15 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 14923 0 0 0 40156 59 0 0 25 0 1 0 162276383 67645440 14181 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563092 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 16515 14181 104 219 0 16292 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 66060 [startup+462.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1692584/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=67276 CPUtime=462.13 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 15340 0 0 0 46152 61 0 0 25 0 1 0 162276383 68890624 14598 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 16819 14598 104 219 0 16596 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 67276 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1689384/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=71288 CPUtime=522.11 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 16141 0 0 0 52147 64 0 0 25 0 1 0 162276383 72998912 15399 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 17822 15399 104 219 0 17599 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 71288 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1685736/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=76028 CPUtime=582.09 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17058 0 0 0 58137 72 0 0 25 0 1 0 162276383 77852672 16316 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 19007 16316 104 219 0 18784 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 76028 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1685480/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=76220 CPUtime=642.07 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17100 0 0 0 64134 73 0 0 25 0 1 0 162276383 78049280 16358 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 19055 16358 104 219 0 18832 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 76220 ################ # More data... # ################ [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1683432/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=79308 CPUtime=881.99 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17665 0 0 0 88116 83 0 0 25 0 1 0 162276383 81211392 16923 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 19827 16923 104 219 0 19604 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 79308 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1683176/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=79500 CPUtime=941.97 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17706 0 0 0 94113 84 0 0 25 0 1 0 162276383 81408000 16964 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 19875 16964 104 219 0 19652 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 79500 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1682536/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=80236 CPUtime=1001.95 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17879 0 0 0 100109 86 0 0 25 0 1 0 162276383 82161664 17137 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 20059 17137 104 219 0 19836 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 80236 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1682216/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=80620 CPUtime=1061.92 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 17943 0 0 0 106106 86 0 0 25 0 1 0 162276383 82554880 17201 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 20155 17201 104 219 0 19932 0 Current children cumulated CPU time (s) 1061.92 Current children cumulated vsize (KiB) 80620 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18852 /proc/meminfo: memFree=1681448/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=81384 CPUtime=1121.91 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18116 0 0 0 112103 88 0 0 25 0 1 0 162276383 83337216 17374 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559742 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 20346 17374 104 219 0 20123 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 81384 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1680168/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=83304 CPUtime=1181.89 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18452 0 0 0 118099 90 0 0 25 0 1 0 162276383 85303296 17710 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 20826 17710 104 219 0 20603 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 83304 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1679656/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=83880 CPUtime=1241.87 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18570 0 0 0 124096 91 0 0 25 0 1 0 162276383 85893120 17828 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 20970 17828 104 219 0 20747 0 Current children cumulated CPU time (s) 1241.87 Current children cumulated vsize (KiB) 83880 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1678824/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=84840 CPUtime=1301.85 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18774 0 0 0 130093 92 0 0 25 0 1 0 162276383 86876160 18032 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 21210 18032 104 219 0 20987 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 84840 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1678696/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=85224 CPUtime=1361.82 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 18820 0 0 0 136090 92 0 0 25 0 1 0 162276383 87269376 18078 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559712 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 21306 18078 104 219 0 21083 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 85224 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1677736/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=86584 CPUtime=1421.81 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19058 0 0 0 142087 94 0 0 25 0 1 0 162276383 88662016 18316 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 21646 18316 104 219 0 21423 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 86584 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1676968/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=87480 CPUtime=1481.78 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19243 0 0 0 148084 94 0 0 25 0 1 0 162276383 89579520 18501 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 21870 18501 104 219 0 21647 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 87480 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1676584/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=88188 CPUtime=1541.77 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19339 0 0 0 154081 96 0 0 25 0 1 0 162276383 90304512 18597 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22047 18597 104 219 0 21824 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 88188 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1675560/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=89536 CPUtime=1601.74 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19606 0 0 0 160078 96 0 0 25 0 1 0 162276383 91684864 18864 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22384 18864 104 219 0 22161 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 89536 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1674344/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=91008 CPUtime=1661.72 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 19891 0 0 0 166075 97 0 0 25 0 1 0 162276383 93192192 19149 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22752 19149 104 219 0 22529 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 91008 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=91872 CPUtime=1721.7 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20039 0 0 0 172072 98 0 0 25 0 1 0 162276383 94076928 19297 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22968 19297 104 219 0 22745 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 91872 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1673704/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=91872 CPUtime=1781.68 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20040 0 0 0 178069 99 0 0 25 0 1 0 162276383 94076928 19298 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559751 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22968 19298 104 219 0 22745 0 Current children cumulated CPU time (s) 1781.68 Current children cumulated vsize (KiB) 91872 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=91872 CPUtime=1800.09 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20043 0 0 0 179910 99 0 0 25 0 1 0 162276383 94076928 19301 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22968 19301 104 219 0 22745 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 91872 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18854 /proc/meminfo: memFree=1673768/2055920 swapFree=4146244/4192956 [pid=18851] ppid=18849 vsize=91872 CPUtime=1800.09 /proc/18851/stat : 18851 (PBS4) R 18849 18851 18113 0 -1 4194304 20043 0 0 0 179910 99 0 0 25 0 1 0 162276383 94076928 19301 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134535127 0 0 4096 16384 0 0 0 17 1 0 0 /proc/18851/statm: 22968 19301 104 219 0 22745 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 91872 Child status: 0 Real time (s): 1800.72 CPU time (s): 1800.11 CPU user time (s): 1799.1 CPU system time (s): 1.00585 CPU usage (%): 99.9657 Max. virtual memory (cumulated for all children) (KiB): 91872 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.1 system time used= 1.00585 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 20044 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= 35777 runsolver used 2.22666 second user time and 4.17436 second system time The end
Begin job on node42 on Sat Apr 21 08:20:45 UTC 2007 IDJOB= 372870 IDBENCH= 25003 IDSOLVER= 157 FILE ID= node42/372870-1177143645 PBS_JOBID= 4648821 Free space on /tmp= 66446 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/area_delay/normalized-fir09_area_delay.opb COMMAND LINE= /tmp/evaluation/372870-1177143645/PBS4 /tmp/evaluation/372870-1177143645/instance-372870-1177143645.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-372870-1177143645 -o ROOT/results/node42/conversion-372870-1177143645 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372870-1177143645/instance-372870-1177143645.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-372870-1177143645 -o ROOT/results/node42/solver-372870-1177143645 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372870-1177143645/PBS4 /tmp/evaluation/372870-1177143645/instance-372870-1177143645.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 5a18fe98bad06341d01eaf33ecb4f046 RANDOM SEED= 458053640 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node42.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.277 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.277 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: 1751544 kB Buffers: 40092 kB Cached: 184696 kB SwapCached: 16680 kB Active: 205524 kB Inactive: 45764 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1751544 kB SwapTotal: 4192956 kB SwapFree: 4146244 kB Dirty: 2984 kB Writeback: 0 kB Mapped: 32888 kB Slab: 38488 kB Committed_AS: 3501796 kB PageTables: 1912 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= 66446 MiB End job on node42 on Sat Apr 21 08:50:48 UTC 2007