Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.63 |
Name | normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/ ~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb |
MD5SUM | 8fd497081fcc2923cbeefd2c48cb5010 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 834 |
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 | 826 |
Optimality of the best value was proved | NO |
Number of variables | 3300 |
Total number of constraints | 1985 |
Number of constraints which are clauses | 1364 |
Number of constraints which are cardinality constraints (but not clauses) | 621 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 220 |
Number of terms in the objective function | 2792 |
Biggest coefficient in the objective function | 379 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 526163 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 379 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 526163 |
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/351870-1176616207/instance-351870-1176616207.opb ...... 2.69/2.70 c done parsing opb. 2.69/2.70 o 114725 2.69/2.73 o 109035 14.98/15.02 o 23881 14.98/15.07 o 23880 390.08/390.24 o 23131 390.08/390.26 o 23130 397.89/398.02 o 22755 1145.69/1146.18 o 22745 1800.01/1800.60 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node74/watcher-351870-1176616207 -o ROOT/results/node74/solver-351870-1176616207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351870-1176616207/PBS4 /tmp/evaluation/351870-1176616207/instance-351870-1176616207.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.98 1.00 1.00 3/66 29750 /proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=1784 CPUtime=0 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 109535465 1826816 225 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/29750/statm: 446 225 86 219 0 223 0 [startup+0.102359 s] /proc/loadavg: 0.98 1.00 1.00 3/66 29750 /proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=2468 CPUtime=0.09 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 435 0 0 0 9 0 0 0 18 0 1 0 109535465 2527232 417 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590705 0 0 4096 0 0 0 0 17 1 0 0 /proc/29750/statm: 617 417 87 219 0 394 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2468 [startup+0.20237 s] /proc/loadavg: 0.98 1.00 1.00 3/66 29750 /proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=2464 CPUtime=0.19 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 447 0 0 0 19 0 0 0 19 0 1 0 109535465 2523136 429 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 616 429 92 219 0 393 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 2464 [startup+0.302381 s] /proc/loadavg: 0.98 1.00 1.00 3/66 29750 /proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=2720 CPUtime=0.29 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 508 0 0 0 29 0 0 0 19 0 1 0 109535465 2785280 490 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 680 490 93 219 0 457 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 2720 [startup+0.702427 s] /proc/loadavg: 0.98 1.00 1.00 3/66 29750 /proc/meminfo: memFree=1807648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=4436 CPUtime=0.69 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 810 0 0 0 69 0 0 0 23 0 1 0 109535465 4542464 792 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134590670 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 1109 792 93 219 0 886 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4436 [startup+1.50152 s] /proc/loadavg: 0.98 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1803480/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=6484 CPUtime=1.49 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 1463 0 0 0 148 1 0 0 25 0 1 0 109535465 6639616 1445 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134561178 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 1621 1445 93 219 0 1398 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6484 [startup+3.1017 s] /proc/loadavg: 0.98 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1799896/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=19004 CPUtime=3.09 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 2720 0 0 0 308 1 0 0 25 0 1 0 109535465 19460096 2702 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134552699 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 4751 2702 103 219 0 4528 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 19004 [startup+6.30107 s] /proc/loadavg: 0.98 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1785112/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=35520 CPUtime=6.29 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 6651 0 0 0 625 4 0 0 25 0 1 0 109535465 36372480 6633 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134532438 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 8880 6633 103 219 0 8657 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 35520 [startup+12.7018 s] /proc/loadavg: 0.98 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1756056/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=68288 CPUtime=12.69 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 13550 0 0 0 1263 6 0 0 25 0 1 0 109535465 69926912 13532 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563556 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 17072 13532 103 219 0 16849 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 68288 [startup+25.5013 s] /proc/loadavg: 0.98 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1737688/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=134948 CPUtime=25.49 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 17597 0 0 0 2532 17 0 0 25 0 1 0 109535465 138186752 17530 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548063 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 33737 17530 104 219 0 33514 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 134948 [startup+51.1012 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1736600/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=135860 CPUtime=51.07 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 17847 0 0 0 5068 39 0 0 25 0 1 0 109535465 139120640 17780 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 33965 17780 104 219 0 33742 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 135860 [startup+102.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1735768/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=136836 CPUtime=102.27 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18148 0 0 0 10153 74 0 0 25 0 1 0 109535465 140120064 17984 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559824 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 34209 17984 104 219 0 33986 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 136836 [startup+162.301 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1734808/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=138360 CPUtime=162.25 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18571 0 0 0 16133 92 0 0 25 0 1 0 109535465 141680640 18214 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559447 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 34590 18214 104 219 0 34367 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 138360 [startup+222.305 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1734424/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=138732 CPUtime=222.23 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18696 0 0 0 22129 94 0 0 25 0 1 0 109535465 142061568 18339 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 34683 18339 104 219 0 34460 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 138732 [startup+282.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1733720/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=139128 CPUtime=282.22 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18845 0 0 0 28124 98 0 0 25 0 1 0 109535465 142467072 18488 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 34782 18488 104 219 0 34559 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 139128 [startup+342.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1733272/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=139420 CPUtime=342.2 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 18957 0 0 0 34114 106 0 0 25 0 1 0 109535465 142766080 18600 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 34855 18600 104 219 0 34632 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 139420 [startup+402.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1732568/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=140052 CPUtime=402.18 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19126 0 0 0 40107 111 0 0 25 0 1 0 109535465 143413248 18769 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 35013 18769 104 219 0 34790 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 140052 [startup+462.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1731928/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=141924 CPUtime=462.17 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19665 0 0 0 46098 119 0 0 25 0 1 0 109535465 145330176 18923 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 35481 18923 104 219 0 35258 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 141924 [startup+522.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1731480/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=142236 CPUtime=522.15 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19773 0 0 0 52091 124 0 0 25 0 1 0 109535465 145649664 19031 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 35559 19031 104 219 0 35336 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 142236 [startup+582.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1730648/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=142892 CPUtime=582.14 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 19971 0 0 0 58078 136 0 0 25 0 1 0 109535465 146321408 19229 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559734 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 35723 19229 104 219 0 35500 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 142892 [startup+642.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29751 /proc/meminfo: memFree=1730264/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=143016 CPUtime=642.12 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20067 0 0 0 64072 140 0 0 25 0 1 0 109535465 146448384 19325 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 35754 19325 104 219 0 35531 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 143016 ################ # More data... # ################ [startup+882.305 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1728344/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=144124 CPUtime=881.96 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20455 0 0 0 88033 163 0 0 25 0 1 0 109535465 147582976 19713 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559779 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 36031 19713 104 219 0 35808 0 Current children cumulated CPU time (s) 881.96 Current children cumulated vsize (KiB) 144124 [startup+942.302 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1727832/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=144564 CPUtime=941.94 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20578 0 0 0 94025 169 0 0 25 0 1 0 109535465 148033536 19836 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 36141 19836 104 219 0 35918 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 144564 [startup+1002.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1727640/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=144564 CPUtime=1001.92 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20627 0 0 0 100018 174 0 0 25 0 1 0 109535465 148033536 19885 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 36141 19885 104 219 0 35918 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 144564 [startup+1062.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1727448/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=144876 CPUtime=1061.91 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20694 0 0 0 106013 178 0 0 25 0 1 0 109535465 148353024 19952 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559805 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 36219 19952 104 219 0 35996 0 Current children cumulated CPU time (s) 1061.91 Current children cumulated vsize (KiB) 144876 [startup+1122.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1727128/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=144988 CPUtime=1121.89 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 20766 0 0 0 112004 185 0 0 25 0 1 0 109535465 148467712 20024 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 36247 20024 104 219 0 36024 0 Current children cumulated CPU time (s) 1121.89 Current children cumulated vsize (KiB) 144988 [startup+1182.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1726616/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=148536 CPUtime=1181.88 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21661 0 0 0 117998 190 0 0 25 0 1 0 109535465 152100864 20150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37134 20150 104 219 0 36911 0 Current children cumulated CPU time (s) 1181.88 Current children cumulated vsize (KiB) 148536 [startup+1242.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1726232/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=148652 CPUtime=1241.86 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21762 0 0 0 123989 197 0 0 25 0 1 0 109535465 152219648 20251 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559841 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37163 20251 104 219 0 36940 0 Current children cumulated CPU time (s) 1241.86 Current children cumulated vsize (KiB) 148652 [startup+1302.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1725912/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=148884 CPUtime=1301.84 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21832 0 0 0 129984 200 0 0 25 0 1 0 109535465 152457216 20321 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559846 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37221 20321 104 219 0 36998 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 148884 [startup+1362.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1725784/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=148884 CPUtime=1361.83 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21868 0 0 0 135981 202 0 0 25 0 1 0 109535465 152457216 20357 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37221 20357 104 219 0 36998 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 148884 [startup+1422.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1725336/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=149240 CPUtime=1421.81 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 21961 0 0 0 141973 208 0 0 25 0 1 0 109535465 152821760 20450 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563087 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37310 20450 104 219 0 37087 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 149240 [startup+1482.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1725144/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=149240 CPUtime=1481.8 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22009 0 0 0 147967 213 0 0 25 0 1 0 109535465 152821760 20498 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134551809 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37310 20498 104 219 0 37087 0 Current children cumulated CPU time (s) 1481.8 Current children cumulated vsize (KiB) 149240 [startup+1542.31 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1724760/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=149628 CPUtime=1541.78 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22104 0 0 0 153962 216 0 0 25 0 1 0 109535465 153219072 20593 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563274 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37407 20593 104 219 0 37184 0 Current children cumulated CPU time (s) 1541.78 Current children cumulated vsize (KiB) 149628 [startup+1602.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1724248/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=149760 CPUtime=1601.76 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22227 0 0 0 159956 220 0 0 25 0 1 0 109535465 153354240 20716 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37440 20716 104 219 0 37217 0 Current children cumulated CPU time (s) 1601.76 Current children cumulated vsize (KiB) 149760 [startup+1662.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1724056/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=149760 CPUtime=1661.74 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 22276 0 0 0 165952 222 0 0 25 0 1 0 109535465 153354240 20765 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37440 20765 104 219 0 37217 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 149760 [startup+1722.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1695832/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=150148 CPUtime=1721.73 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29313 0 0 0 171945 228 0 0 25 0 1 0 109535465 153751552 27802 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559856 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37537 27802 104 219 0 37314 0 Current children cumulated CPU time (s) 1721.73 Current children cumulated vsize (KiB) 150148 [startup+1782.3 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=150444 CPUtime=1781.72 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29386 0 0 0 177941 231 0 0 25 0 1 0 109535465 154054656 27875 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559736 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37611 27875 104 219 0 37388 0 Current children cumulated CPU time (s) 1781.72 Current children cumulated vsize (KiB) 150444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=150444 CPUtime=1800.01 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29397 0 0 0 179770 231 0 0 25 0 1 0 109535465 154054656 27886 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37611 27886 104 219 0 37388 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 150444 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.6 s] /proc/loadavg: 0.99 1.00 1.00 2/67 29949 /proc/meminfo: memFree=1695512/2055920 swapFree=4191892/4192956 [pid=29750] ppid=29748 vsize=150444 CPUtime=1800.01 /proc/29750/stat : 29750 (PBS4) R 29748 29750 28917 0 -1 4194304 29397 0 0 0 179770 231 0 0 25 0 1 0 109535465 154054656 27886 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134549317 0 0 4096 16384 0 0 0 17 1 0 0 /proc/29750/statm: 37611 27886 104 219 0 37388 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 150444 Child status: 0 Real time (s): 1800.63 CPU time (s): 1800.05 CPU user time (s): 1797.71 CPU system time (s): 2.33564 CPU usage (%): 99.9678 Max. virtual memory (cumulated for all children) (KiB): 150444 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1797.71 system time used= 2.33564 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 29398 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= 2520 runsolver used 1.46578 second user time and 3.84241 second system time The end
Begin job on node74 on Sun Apr 15 05:50:07 UTC 2007 IDJOB= 351870 IDBENCH= 1843 IDSOLVER= 157 FILE ID= node74/351870-1176616207 PBS_JOBID= 4557019 Free space on /tmp= 103244 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/web/www.ps.uni-sb.de/~walser/benchmarks/course-ass/normalized-reduced-ws97-3.opb COMMAND LINE= /tmp/evaluation/351870-1176616207/PBS4 /tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node74/convwatcher-351870-1176616207 -o ROOT/results/node74/conversion-351870-1176616207 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node74/watcher-351870-1176616207 -o ROOT/results/node74/solver-351870-1176616207 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/351870-1176616207/PBS4 /tmp/evaluation/351870-1176616207/instance-351870-1176616207.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= 8fd497081fcc2923cbeefd2c48cb5010 RANDOM SEED= 143164015 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node74.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.213 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.213 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: 1808056 kB Buffers: 14448 kB Cached: 116816 kB SwapCached: 384 kB Active: 32448 kB Inactive: 116208 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1808056 kB SwapTotal: 4192956 kB SwapFree: 4191892 kB Dirty: 1352 kB Writeback: 0 kB Mapped: 26480 kB Slab: 85020 kB Committed_AS: 1451612 kB PageTables: 1484 kB VmallocTotal: 536870911 kB VmallocUsed: 264960 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 103244 MiB End job on node74 on Sun Apr 15 06:20:10 UTC 2007