Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS4 2007-03-23 | No Cert. | 1800.05 | 1800.54 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ sorensson/garden/normalized-g100x100.opb |
MD5SUM | b7796d84094d982e45331121511974b4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2297 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2297 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 10000 |
Number of constraints which are clauses | 10000 |
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 | 3 |
Maximum length of a constraint | 5 |
Number of terms in the objective function | 10000 |
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 | 10000 |
Number of bits of the sum of numbers in the objective function | 14 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 10000 |
Number of bits of the biggest sum of numbers | 14 |
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/353248-1176660237/instance-353248-1176660237.opb ...... 1.10/1.12 c done parsing opb. 1.10/1.12 o 10000 1.59/1.61 o 9999 1.99/2.09 o 9998 2.49/2.57 o 9997 2.99/3.05 o 9996 3.49/3.54 o 9995 3.99/4.05 o 9994 4.49/4.54 o 9993 4.99/5.02 o 9992 5.49/5.50 o 9991 5.89/5.98 o 9990 6.38/6.46 o 9989 6.89/6.95 o 9988 7.39/7.43 o 9987 7.89/7.91 o 9986 8.29/8.40 o 9985 8.80/8.88 o 9984 9.28/9.37 o 9983 9.79/9.86 o 9982 10.29/10.34 o 9981 10.79/10.83 o 9980 11.29/11.31 o 9979 11.79/11.80 o 9978 12.19/12.29 o 9977 12.68/12.77 o 9976 13.19/13.26 o 9975 13.68/13.75 o 9974 14.19/14.23 o 9973 14.68/14.72 o 9972 15.18/15.20 o 9971 15.59/15.69 o 9970 16.09/16.18 o 9969 16.58/16.66 o 9968 17.09/17.15 o 9967 17.59/17.64 o 9966 18.09/18.12 o 9965 18.59/18.60 o 9964 18.99/19.09 o 9963 19.49/19.57 o 9962 19.98/20.05 o 9961 20.48/20.53 o 9960 20.99/21.02 o 9959 21.48/21.50 o 9958 21.89/21.98 o 9957 22.39/22.46 o 9956 22.88/22.95 o 9955 23.39/23.43 o 9954 23.89/23.91 o 9953 24.28/24.39 o 9952 24.78/24.88 o 9951 25.29/25.36 o 9950 25.78/25.84 o 9949 26.28/26.32 o 9948 26.78/26.80 o 9947 27.19/27.29 o 9946 27.68/27.77 o 9945 28.19/28.25 o 9944 28.69/28.74 o 9943 29.18/29.23 o 9942 29.69/29.71 o 9941 30.19/30.20 o 9940 30.58/30.68 o 9939 31.08/31.17 o 9938 31.59/31.66 o 9937 32.08/32.14 o 9936 32.59/32.63 o 9935 33.08/33.11 o 9934 33.59/33.60 o 9933 33.98/34.09 o 9932 34.48/34.57 o 9931 34.98/35.06 o 9930 35.48/35.54 o 9929 35.98/36.03 o 9928 36.48/36.52 o 9927 36.98/37.00 o 9926 37.39/37.49 o 9925 37.88/37.98 o 9924 38.39/38.46 o 9923 38.88/38.94 o 9922 39.38/39.42 o 9921 39.88/39.91 o 9920 40.27/40.39 o 9919 40.78/40.87 o 9918 41.28/41.35 o 9917 41.79/41.83 o 9916 42.28/42.32 o 9915 42.68/42.80 o 9914 43.18/43.28 o 9913 43.68/43.76 o 9912 44.18/44.25 o 9911 44.68/44.73 o 9910 45.18/45.21 o 9909 45.58/45.69 o 9908 46.08/46.17 o 9907 46.58/46.66 o 9906 47.08/47.14 o 9905 47.58/47.62 o 9904 48.08/48.10 o 9903 48.48/48.59 o 9902 48.98/49.08 o 9901 49.48/49.56 o 9900 49.97/50.05 o 9899 50.48/50.53 o 9898 50.98/51.05 o 9897 51.18/51.29 o 3336 51.37/51.46 o 3335 51.58/51.63 o 3334 51.68/51.79 o 3333 51.87/51.96 o 3332 52.28/52.34 o 3331 1800.01/1800.50 s SATISFIABLE
ERROR: no interpretation found !
/tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb is already a linear file
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node72/watcher-353248-1176660237 -o ROOT/results/node72/solver-353248-1176660237 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353248-1176660237/PBS4 /tmp/evaluation/353248-1176660237/instance-353248-1176660237.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.98 0.99 3/77 31275 /proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=2704 CPUtime=0 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 456 0 0 0 0 0 0 0 18 0 1 0 142062128 2768896 438 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135006597 0 0 4096 0 0 0 0 17 1 0 0 /proc/31275/statm: 676 438 86 219 0 453 0 [startup+0.0157361 s] /proc/loadavg: 0.91 0.98 0.99 3/77 31275 /proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=2864 CPUtime=0.01 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 502 0 0 0 1 0 0 0 18 0 1 0 142062128 2932736 484 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134784767 0 0 4096 0 0 0 0 17 1 0 0 /proc/31275/statm: 716 484 86 219 0 493 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2864 [startup+0.102745 s] /proc/loadavg: 0.91 0.98 0.99 3/77 31275 /proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=3300 CPUtime=0.09 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 612 0 0 0 9 0 0 0 18 0 1 0 142062128 3379200 594 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588362 0 0 4096 0 0 0 0 17 1 0 0 /proc/31275/statm: 825 594 87 219 0 602 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3300 [startup+0.301768 s] /proc/loadavg: 0.91 0.98 0.99 3/77 31275 /proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=3300 CPUtime=0.29 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 612 0 0 0 29 0 0 0 19 0 1 0 142062128 3379200 594 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134588365 0 0 4096 0 0 0 0 17 1 0 0 /proc/31275/statm: 825 594 87 219 0 602 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3300 [startup+0.701799 s] /proc/loadavg: 0.91 0.98 0.99 3/77 31275 /proc/meminfo: memFree=1830192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4124 CPUtime=0.69 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 895 0 0 0 69 0 0 0 22 0 1 0 142062128 4222976 833 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134596339 0 0 4096 0 0 0 0 17 1 0 0 /proc/31275/statm: 1031 833 89 219 0 808 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4124 [startup+1.50187 s] /proc/loadavg: 0.91 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826920/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4296 CPUtime=1.49 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 148 1 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1074 887 104 219 0 851 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 4296 [startup+3.10202 s] /proc/loadavg: 0.91 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826792/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4296 CPUtime=3.09 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 305 4 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134548518 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1074 887 104 219 0 851 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 4296 [startup+6.30131 s] /proc/loadavg: 0.92 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826736/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4296 CPUtime=6.29 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 621 8 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1074 887 104 219 0 851 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 4296 [startup+12.7019 s] /proc/loadavg: 0.93 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4296 CPUtime=12.68 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 1251 17 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1074 887 104 219 0 851 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 4296 [startup+25.5021 s] /proc/loadavg: 0.94 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=4296 CPUtime=25.48 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1018 0 0 0 2511 37 0 0 25 0 1 0 142062128 4399104 887 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 135059249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1074 887 104 219 0 851 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 4296 [startup+51.1014 s] /proc/loadavg: 0.96 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1826672/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=5120 CPUtime=51.08 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 1173 0 0 0 5034 74 0 0 25 0 1 0 142062128 5242880 1042 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134557748 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 1280 1042 104 219 0 1057 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 5120 [startup+102.305 s] /proc/loadavg: 0.98 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1813040/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=20936 CPUtime=102.26 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 4439 0 0 0 10145 81 0 0 25 0 1 0 142062128 21438464 4308 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 5234 4308 104 219 0 5011 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 20936 [startup+162.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1797488/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=37516 CPUtime=162.25 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 8337 0 0 0 16141 84 0 0 25 0 1 0 142062128 38416384 8206 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 9379 8206 104 219 0 9156 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 37516 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1782128/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=70560 CPUtime=222.23 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 12181 0 0 0 22137 86 0 0 25 0 1 0 142062128 72253440 12050 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 17640 12050 104 219 0 17417 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 70560 [startup+282.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1767152/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=70560 CPUtime=282.21 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 15952 0 0 0 28132 89 0 0 25 0 1 0 142062128 72253440 15821 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563282 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 17640 15821 104 219 0 17417 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 70560 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1752560/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=136096 CPUtime=342.2 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 19565 0 0 0 34129 91 0 0 25 0 1 0 142062128 139362304 19434 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559771 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 34024 19434 104 219 0 33801 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 136096 [startup+402.303 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1737968/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=136096 CPUtime=402.18 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 23237 0 0 0 40125 93 0 0 25 0 1 0 142062128 139362304 23106 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 34024 23106 104 219 0 33801 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 136096 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1722992/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=136096 CPUtime=462.17 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 26948 0 0 0 46121 96 0 0 25 0 1 0 142062128 139362304 26817 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559721 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 34024 26817 104 219 0 33801 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 136096 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1707888/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=136216 CPUtime=522.14 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 30767 0 0 0 52116 98 0 0 25 0 1 0 142062128 139485184 30636 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559469 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 34054 30636 104 219 0 33831 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 136216 [startup+582.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1692784/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=267288 CPUtime=582.13 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 34417 0 0 0 58111 102 0 0 25 0 1 0 142062128 273702912 34286 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 66822 34286 104 219 0 66599 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 267288 [startup+642.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1677744/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=267288 CPUtime=642.12 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 38150 0 0 0 64108 104 0 0 25 0 1 0 142062128 273702912 38019 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559765 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 66822 38019 104 219 0 66599 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 267288 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1644208/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268376 CPUtime=882.05 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46581 0 0 0 88089 116 0 0 25 0 1 0 142062128 274817024 46353 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67094 46353 104 219 0 66871 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 268376 [startup+942.302 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1643504/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268376 CPUtime=942.04 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46738 0 0 0 94086 118 0 0 25 0 1 0 142062128 274817024 46510 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559868 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67094 46510 104 219 0 66871 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 268376 [startup+1002.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1642736/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268508 CPUtime=1002.02 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 46918 0 0 0 100081 121 0 0 25 0 1 0 142062128 274952192 46690 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559782 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67127 46690 104 219 0 66904 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 268508 [startup+1062.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1642096/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268652 CPUtime=1062.01 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47077 0 0 0 106078 123 0 0 25 0 1 0 142062128 275099648 46849 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134563269 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67163 46849 104 219 0 66940 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 268652 [startup+1122.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1641584/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268652 CPUtime=1121.99 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47215 0 0 0 112074 125 0 0 25 0 1 0 142062128 275099648 46987 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67163 46987 104 219 0 66940 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 268652 [startup+1182.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1640944/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268652 CPUtime=1181.97 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47369 0 0 0 118072 125 0 0 25 0 1 0 142062128 275099648 47141 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67163 47141 104 219 0 66940 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 268652 [startup+1242.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1640304/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268780 CPUtime=1241.96 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47526 0 0 0 124068 128 0 0 25 0 1 0 142062128 275230720 47298 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67195 47298 104 219 0 66972 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 268780 [startup+1302.3 s] /proc/loadavg: 0.99 0.98 0.99 2/78 31276 /proc/meminfo: memFree=1639600/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268908 CPUtime=1301.95 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47698 0 0 0 130064 131 0 0 25 0 1 0 142062128 275361792 47470 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67227 47470 104 219 0 67004 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 268908 [startup+1362.3 s] /proc/loadavg: 1.06 1.00 1.00 2/78 31276 /proc/meminfo: memFree=1638896/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268908 CPUtime=1361.92 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 47862 0 0 0 136059 133 0 0 25 0 1 0 142062128 275361792 47634 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67227 47634 104 219 0 67004 0 Current children cumulated CPU time (s) 1361.92 Current children cumulated vsize (KiB) 268908 [startup+1422.31 s] /proc/loadavg: 1.08 1.01 1.00 2/78 31276 /proc/meminfo: memFree=1638192/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268908 CPUtime=1421.91 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48054 0 0 0 142055 136 0 0 25 0 1 0 142062128 275361792 47826 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559800 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67227 47826 104 219 0 67004 0 Current children cumulated CPU time (s) 1421.91 Current children cumulated vsize (KiB) 268908 [startup+1482.3 s] /proc/loadavg: 1.08 1.03 1.00 2/78 31276 /proc/meminfo: memFree=1637552/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=268908 CPUtime=1481.89 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48217 0 0 0 148051 138 0 0 25 0 1 0 142062128 275361792 47989 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559816 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67227 47989 104 219 0 67004 0 Current children cumulated CPU time (s) 1481.89 Current children cumulated vsize (KiB) 268908 [startup+1542.3 s] /proc/loadavg: 1.03 1.02 1.00 2/78 31276 /proc/meminfo: memFree=1636848/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269036 CPUtime=1541.87 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48378 0 0 0 154047 140 0 0 25 0 1 0 142062128 275492864 48150 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559950 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67259 48150 104 219 0 67036 0 Current children cumulated CPU time (s) 1541.87 Current children cumulated vsize (KiB) 269036 [startup+1602.3 s] /proc/loadavg: 1.01 1.01 1.00 2/78 31276 /proc/meminfo: memFree=1636208/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269036 CPUtime=1601.86 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48545 0 0 0 160044 142 0 0 25 0 1 0 142062128 275492864 48317 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559792 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67259 48317 104 219 0 67036 0 Current children cumulated CPU time (s) 1601.86 Current children cumulated vsize (KiB) 269036 [startup+1662.3 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31278 /proc/meminfo: memFree=1635440/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269036 CPUtime=1661.85 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48714 0 0 0 166041 144 0 0 25 0 1 0 142062128 275492864 48486 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559830 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67259 48486 104 219 0 67036 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 269036 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31278 /proc/meminfo: memFree=1634864/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269036 CPUtime=1721.83 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48862 0 0 0 172038 145 0 0 25 0 1 0 142062128 275492864 48634 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559787 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67259 48634 104 219 0 67036 0 Current children cumulated CPU time (s) 1721.83 Current children cumulated vsize (KiB) 269036 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31278 /proc/meminfo: memFree=1634352/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269148 CPUtime=1781.82 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 48983 0 0 0 178036 146 0 0 25 0 1 0 142062128 275607552 48755 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559807 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67287 48755 104 219 0 67064 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 269148 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31278 /proc/meminfo: memFree=1634224/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269148 CPUtime=1800.01 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 49016 0 0 0 179855 146 0 0 25 0 1 0 142062128 275607552 48788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67287 48788 104 219 0 67064 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 269148 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31278 /proc/meminfo: memFree=1634224/2055920 swapFree=4171824/4192956 [pid=31275] ppid=31273 vsize=269148 CPUtime=1800.01 /proc/31275/stat : 31275 (PBS4) R 31273 31275 30049 0 -1 4194304 49016 0 0 0 179855 146 0 0 25 0 1 0 142062128 275607552 48788 18446744073709551615 134512640 135410514 4294956688 18446744073709551615 134559768 0 0 4096 16384 0 0 0 17 1 0 0 /proc/31275/statm: 67287 48788 104 219 0 67064 0 Current children cumulated CPU time (s) 1800.01 Current children cumulated vsize (KiB) 269148 Child status: 0 Real time (s): 1800.54 CPU time (s): 1800.05 CPU user time (s): 1798.56 CPU system time (s): 1.49477 CPU usage (%): 99.9731 Max. virtual memory (cumulated for all children) (KiB): 269148 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1798.56 system time used= 1.49477 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 49017 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= 4314 runsolver used 2.10968 second user time and 4.41933 second system time The end
Begin job on node72 on Sun Apr 15 18:03:57 UTC 2007 IDJOB= 353248 IDBENCH= 2218 IDSOLVER= 157 FILE ID= node72/353248-1176660237 PBS_JOBID= 4559897 Free space on /tmp= 66562 MiB SOLVER NAME= PBS4 2007-03-23 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/sorensson/garden/normalized-g100x100.opb COMMAND LINE= /tmp/evaluation/353248-1176660237/PBS4 /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb CONVERSION COMMAND LINE= runsolver -w ROOT/results/node72/convwatcher-353248-1176660237 -o ROOT/results/node72/conversion-353248-1176660237 -C 600 -M 1800 PBconversionToLinear /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb CONVERSION RUNSOLVER STATUS CODE= 0 CONVERSION STATUS CODE= 0 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node72/watcher-353248-1176660237 -o ROOT/results/node72/solver-353248-1176660237 -C 1800 -W 3600 -M 1800 --output-limit 1,15 /tmp/evaluation/353248-1176660237/PBS4 /tmp/evaluation/353248-1176660237/instance-353248-1176660237.opb META MD5SUM SOLVER= b6c24e28fef9e1efa7891be58ea9e46f MD5SUM BENCH= b7796d84094d982e45331121511974b4 RANDOM SEED= 816208381 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node72.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.222 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 : 5931.00 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.222 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: 1830600 kB Buffers: 27412 kB Cached: 105072 kB SwapCached: 2224 kB Active: 62952 kB Inactive: 93272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1830600 kB SwapTotal: 4192956 kB SwapFree: 4171824 kB Dirty: 1744 kB Writeback: 0 kB Mapped: 38888 kB Slab: 54608 kB Committed_AS: 1946776 kB PageTables: 1792 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= 66562 MiB End job on node72 on Sun Apr 15 18:33:59 UTC 2007