Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.09 | 1800.81 |
Name | normalized-PB07/OPT-SMALLINT-LIN/reduced/ submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb |
MD5SUM | 7546aeed0de3680ab75d817854256b46 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 4812 |
Best CPU time to get the best result obtained on this benchmark | 6.36403 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 4812 |
Optimality of the best value was proved | YES |
Number of variables | 4360 |
Total number of constraints | 8610 |
Number of constraints which are clauses | 8610 |
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 | 163 |
Number of terms in the objective function | 2173 |
Biggest coefficient in the objective function | 305 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 525495 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 305 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 525495 |
Number of bits of the biggest sum of numbers | 20 |
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/372338-1177090923/instance-372338-1177090923.opb ...... 0.09/0.12 c done parsing opb. 0.09/0.12 o 70135 0.09/0.13 o 69935 0.09/0.13 o 69933 0.09/0.14 o 69875 0.09/0.15 o 69714 0.09/0.16 o 69686 0.09/0.19 o 69520 0.09/0.19 o 39385 0.19/0.20 o 39354 0.19/0.22 o 39336 0.19/0.23 o 34904 0.19/0.23 o 34863 0.19/0.24 o 34670 0.19/0.25 o 31743 0.19/0.25 o 31708 0.19/0.26 o 31706 0.19/0.27 o 30461 0.19/0.27 o 30228 0.19/0.28 o 30227 0.39/0.48 o 30226 130.04/130.19 o 30129 211.12/211.30 o 30115 211.22/211.30 o 21873 211.22/211.30 o 21668 211.22/211.31 o 21589 211.22/211.31 o 21384 211.22/211.32 o 21315 211.22/211.32 o 21110 211.22/211.32 o 21071 211.22/211.33 o 20866 211.22/211.33 o 20662 211.22/211.33 o 20465 211.22/211.34 o 20407 211.22/211.34 o 20210 211.22/211.34 o 20202 211.22/211.35 o 20144 211.22/211.35 o 19947 211.22/211.36 o 19891 259.90/260.05 o 19879 278.80/278.92 o 19874 636.28/636.58 o 19867 863.60/863.92 o 19863 1800.08/1800.80 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/372338-1177090923/instance-372338-1177090923.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-372338-1177090923 -o ROOT/results/node42/solver-372338-1177090923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372338-1177090923/PBS4 /tmp/evaluation/372338-1177090923/instance-372338-1177090923.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.91 0.97 0.99 3/77 14621 /proc/meminfo: memFree=1761568/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=1880 CPUtime=0 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 278 0 0 0 0 0 0 0 18 0 1 0 157004244 1925120 260 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/14621/statm: 470 260 86 219 0 247 0 [startup+0.0943811 s] /proc/loadavg: 0.91 0.97 0.99 3/77 14621 /proc/meminfo: memFree=1761568/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=2544 CPUtime=0.09 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 470 0 0 0 9 0 0 0 18 0 1 0 157004244 2605056 452 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/14621/statm: 636 452 87 219 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.102382 s] /proc/loadavg: 0.91 0.97 0.99 3/77 14621 /proc/meminfo: memFree=1761568/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=2544 CPUtime=0.09 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 482 0 0 0 9 0 0 0 18 0 1 0 157004244 2605056 464 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134590670 0 0 4096 0 0 0 0 17 1 0 0 /proc/14621/statm: 636 464 87 219 0 413 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2544 [startup+0.302422 s] /proc/loadavg: 0.91 0.97 0.99 3/77 14621 /proc/meminfo: memFree=1761568/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=3388 CPUtime=0.29 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 665 0 0 0 27 2 0 0 19 0 1 0 157004244 3469312 598 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 847 598 104 219 0 624 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3388 [startup+0.701498 s] /proc/loadavg: 0.91 0.97 0.99 3/77 14621 /proc/meminfo: memFree=1761568/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=3936 CPUtime=0.69 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 846 0 0 0 66 3 0 0 23 0 1 0 157004244 4030464 779 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134548284 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 984 779 104 219 0 761 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 3936 [startup+1.50165 s] /proc/loadavg: 0.91 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1758616/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=4592 CPUtime=1.5 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 955 0 0 0 146 4 0 0 25 0 1 0 157004244 4702208 888 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 1148 888 104 219 0 925 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 4592 [startup+3.10196 s] /proc/loadavg: 0.91 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1758040/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=5760 CPUtime=3.09 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 1097 0 0 0 305 4 0 0 25 0 1 0 157004244 5898240 1030 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134557988 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 1440 1030 104 219 0 1217 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 5760 [startup+6.30157 s] /proc/loadavg: 0.92 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1756696/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=7808 CPUtime=6.29 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 1418 0 0 0 624 5 0 0 25 0 1 0 157004244 7995392 1351 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 1952 1351 104 219 0 1729 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 7808 [startup+12.7018 s] /proc/loadavg: 0.93 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1754008/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=12152 CPUtime=12.68 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 2059 0 0 0 1263 5 0 0 25 0 1 0 157004244 12443648 1992 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547517 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 3038 1992 104 219 0 2815 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 12152 [startup+25.5022 s] /proc/loadavg: 0.94 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1748248/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=14576 CPUtime=25.48 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 3541 0 0 0 2540 8 0 0 25 0 1 0 157004244 14925824 3377 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 3644 3377 104 219 0 3421 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 14576 [startup+51.1021 s] /proc/loadavg: 0.96 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1744728/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=17916 CPUtime=51.07 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 4426 0 0 0 5094 13 0 0 25 0 1 0 157004244 18345984 4262 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134563164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 4479 4262 104 219 0 4256 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 17916 [startup+102.306 s] /proc/loadavg: 0.98 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1742104/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=20716 CPUtime=102.26 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 5248 0 0 0 10202 24 0 0 25 0 1 0 157004244 21213184 4891 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 5179 4891 104 219 0 4956 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20716 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1739992/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=23808 CPUtime=162.23 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 6159 0 0 0 16188 35 0 0 25 0 1 0 157004244 24379392 5417 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 5952 5417 104 219 0 5729 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 23808 [startup+222.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1738264/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=25268 CPUtime=222.22 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 6589 0 0 0 22179 43 0 0 25 0 1 0 157004244 25874432 5847 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547054 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 6317 5847 104 219 0 6094 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 25268 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1736600/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=26540 CPUtime=282.19 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 7017 0 0 0 28170 49 0 0 25 0 1 0 157004244 27176960 6275 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 6635 6275 104 219 0 6412 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 26540 [startup+342.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1735256/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=27580 CPUtime=342.17 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 7344 0 0 0 34162 55 0 0 25 0 1 0 157004244 28241920 6602 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547520 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 6895 6602 104 219 0 6672 0 Current children cumulated CPU time (s) 342.17 Current children cumulated vsize (KiB) 27580 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1734040/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=31436 CPUtime=402.16 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 8418 0 0 0 40152 64 0 0 25 0 1 0 157004244 32190464 6907 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 7859 6907 104 219 0 7636 0 Current children cumulated CPU time (s) 402.16 Current children cumulated vsize (KiB) 31436 [startup+462.303 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1733144/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=32148 CPUtime=462.13 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 8641 0 0 0 46143 70 0 0 25 0 1 0 157004244 32919552 7130 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 8037 7130 104 219 0 7814 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 32148 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1732312/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=32408 CPUtime=522.11 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 8844 0 0 0 52134 77 0 0 25 0 1 0 157004244 33185792 7333 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559795 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 8102 7333 104 219 0 7879 0 Current children cumulated CPU time (s) 522.11 Current children cumulated vsize (KiB) 32408 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1731544/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=32816 CPUtime=582.09 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 9033 0 0 0 58126 83 0 0 25 0 1 0 157004244 33603584 7522 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 8204 7522 104 219 0 7981 0 Current children cumulated CPU time (s) 582.09 Current children cumulated vsize (KiB) 32816 [startup+642.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1730008/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=34348 CPUtime=642.07 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 9434 0 0 0 64118 89 0 0 25 0 1 0 157004244 35172352 7923 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 8587 7923 104 219 0 8364 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 34348 ################ # More data... # ################ [startup+822.301 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1727576/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=35736 CPUtime=822.01 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 10008 0 0 0 82093 108 0 0 25 0 1 0 157004244 36593664 8497 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 8934 8497 104 219 0 8711 0 Current children cumulated CPU time (s) 822.01 Current children cumulated vsize (KiB) 35736 [startup+882.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1726872/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=36132 CPUtime=881.99 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 10183 0 0 0 88085 114 0 0 25 0 1 0 157004244 36999168 8672 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 9033 8672 104 219 0 8810 0 Current children cumulated CPU time (s) 881.99 Current children cumulated vsize (KiB) 36132 [startup+942.302 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1726360/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=42276 CPUtime=941.97 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 11846 0 0 0 94079 118 0 0 25 0 1 0 157004244 43290624 8798 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551780 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 10569 8798 104 219 0 10346 0 Current children cumulated CPU time (s) 941.97 Current children cumulated vsize (KiB) 42276 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1725848/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=42696 CPUtime=1001.95 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 11996 0 0 0 100071 124 0 0 25 0 1 0 157004244 43720704 8948 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 10674 8948 104 219 0 10451 0 Current children cumulated CPU time (s) 1001.95 Current children cumulated vsize (KiB) 42696 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1725208/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=43140 CPUtime=1061.93 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12159 0 0 0 106064 129 0 0 25 0 1 0 157004244 44175360 9111 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 10785 9111 104 219 0 10562 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 43140 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14622 /proc/meminfo: memFree=1724504/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=43612 CPUtime=1121.9 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12330 0 0 0 112055 135 0 0 25 0 1 0 157004244 44658688 9282 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 10903 9282 104 219 0 10680 0 Current children cumulated CPU time (s) 1121.9 Current children cumulated vsize (KiB) 43612 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/84 14794 /proc/meminfo: memFree=1722464/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=43612 CPUtime=1181.8 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12484 0 0 0 118040 140 0 0 25 0 1 0 157004244 44658688 9436 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 10903 9436 104 219 0 10680 0 Current children cumulated CPU time (s) 1181.8 Current children cumulated vsize (KiB) 43612 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1723032/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=44116 CPUtime=1241.76 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12625 0 0 0 124028 148 0 0 25 0 1 0 157004244 45174784 9577 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559724 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11029 9577 104 219 0 10806 0 Current children cumulated CPU time (s) 1241.76 Current children cumulated vsize (KiB) 44116 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1722392/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=44116 CPUtime=1301.75 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12786 0 0 0 130020 155 0 0 25 0 1 0 157004244 45174784 9738 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559715 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11029 9738 104 219 0 10806 0 Current children cumulated CPU time (s) 1301.75 Current children cumulated vsize (KiB) 44116 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1721880/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=44652 CPUtime=1361.73 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 12924 0 0 0 136012 161 0 0 25 0 1 0 157004244 45723648 9876 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11163 9876 104 219 0 10940 0 Current children cumulated CPU time (s) 1361.73 Current children cumulated vsize (KiB) 44652 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1721176/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=45220 CPUtime=1421.71 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13091 0 0 0 142003 168 0 0 25 0 1 0 157004244 46305280 10043 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551783 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11305 10043 104 219 0 11082 0 Current children cumulated CPU time (s) 1421.71 Current children cumulated vsize (KiB) 45220 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1720600/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=45220 CPUtime=1481.68 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13244 0 0 0 147996 172 0 0 25 0 1 0 157004244 46305280 10196 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11305 10196 104 219 0 11082 0 Current children cumulated CPU time (s) 1481.68 Current children cumulated vsize (KiB) 45220 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1720216/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=45824 CPUtime=1541.66 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13377 0 0 0 153988 178 0 0 25 0 1 0 157004244 46923776 10329 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547371 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11456 10329 104 219 0 11233 0 Current children cumulated CPU time (s) 1541.66 Current children cumulated vsize (KiB) 45824 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1719576/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=45824 CPUtime=1601.64 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13539 0 0 0 159981 183 0 0 25 0 1 0 157004244 46923776 10491 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559759 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11456 10491 104 219 0 11233 0 Current children cumulated CPU time (s) 1601.64 Current children cumulated vsize (KiB) 45824 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1719000/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=46464 CPUtime=1661.62 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13673 0 0 0 165974 188 0 0 25 0 1 0 157004244 47579136 10625 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11616 10625 104 219 0 11393 0 Current children cumulated CPU time (s) 1661.62 Current children cumulated vsize (KiB) 46464 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1718488/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=46552 CPUtime=1721.6 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13809 0 0 0 171967 193 0 0 25 0 1 0 157004244 47669248 10761 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11638 10761 104 219 0 11415 0 Current children cumulated CPU time (s) 1721.6 Current children cumulated vsize (KiB) 46552 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1717784/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=46552 CPUtime=1781.58 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13945 0 0 0 177960 198 0 0 25 0 1 0 157004244 47669248 10897 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11638 10897 104 219 0 11415 0 Current children cumulated CPU time (s) 1781.58 Current children cumulated vsize (KiB) 46552 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.8 s] /proc/loadavg: 0.99 0.97 0.99 2/78 14820 /proc/meminfo: memFree=1717656/2055920 swapFree=4146244/4192956 [pid=14621] ppid=14619 vsize=46552 CPUtime=1800.08 /proc/14621/stat : 14621 (PBS4) R 14619 14621 13817 0 -1 4194304 13983 0 0 0 179808 200 0 0 25 0 1 0 157004244 47669248 10935 18446744073709551615 134512640 135410514 4294956640 18446744073709551615 134547066 0 0 4096 16384 0 0 0 17 1 0 0 /proc/14621/statm: 11638 10935 104 219 0 11415 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 46552 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.81 CPU time (s): 1800.09 CPU user time (s): 1798.08 CPU system time (s): 2.01269 CPU usage (%): 99.96 Max. virtual memory (cumulated for all children) (KiB): 46552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.08 system time used= 2.01269 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 13984 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= 1651 runsolver used 2.03769 second user time and 4.48832 second system time The end
Begin job on node42 on Fri Apr 20 17:42:04 UTC 2007 IDJOB= 372338 IDBENCH= 24965 IDSOLVER= 157 FILE ID= node42/372338-1177090923 PBS_JOBID= 4640313 Free space on /tmp= 66448 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB07/normalized-PB07/OPT-SMALLINT-LIN/reduced/submittedPB07/aksoy/trarea_ac/normalized-reduced-fir06_trarea_ac.opb COMMAND LINE= /tmp/evaluation/372338-1177090923/PBS4 /tmp/evaluation/372338-1177090923/instance-372338-1177090923.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node42/convwatcher-372338-1177090923 -o ROOT/results/node42/conversion-372338-1177090923 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/372338-1177090923/instance-372338-1177090923.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node42/watcher-372338-1177090923 -o ROOT/results/node42/solver-372338-1177090923 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/372338-1177090923/PBS4 /tmp/evaluation/372338-1177090923/instance-372338-1177090923.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 7546aeed0de3680ab75d817854256b46 RANDOM SEED= 320880842 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: 1762040 kB Buffers: 37304 kB Cached: 177080 kB SwapCached: 16680 kB Active: 152316 kB Inactive: 88508 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1762040 kB SwapTotal: 4192956 kB SwapFree: 4146244 kB Dirty: 1476 kB Writeback: 0 kB Mapped: 32892 kB Slab: 38448 kB Committed_AS: 3491256 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= 66448 MiB End job on node42 on Fri Apr 20 18:12:07 UTC 2007