Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1211.95 | 1212.28 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_6.opb |
MD5SUM | d25f6086317f033c233c4700493f03d1 |
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 | 22 |
Best CPU time to get the best result obtained on this benchmark | 1800.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 20 |
Optimality of the best value was proved | NO |
Number of variables | 6027 |
Total number of constraints | 21278 |
Number of constraints which are clauses | 21267 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 650 |
Number of terms in the objective function | 650 |
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 | 650 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 31 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 681 |
Number of bits of the biggest sum of numbers | 10 |
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 wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680453-1277460046.opb. 0.00/0.00 c Instance file HOME/instance-2680453-1277460046.opb 0.00/0.00 c File size is 617335 bytes. 0.06/0.09 c Highest Coefficient sum: 681 0.06/0.09 c ============================[ Problem Statistics ]============================= 0.06/0.09 c | | 0.06/0.09 c | Parsing time: 0.09 s | 0.06/0.09 c | Number Variables: 6027 | 0.06/0.09 c | Number Clauses: 21267 | 0.06/0.09 c | Number Cardinality: 1 | 0.06/0.09 c | Number PB Constraints: 10 | 1.59/1.63 c ============================[ Search Statistics ]============================== 1.59/1.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 1.59/1.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1.59/1.63 c =============================================================================== 1.59/1.63 c | 0 | 5885 21415 54030 | 7092 0 nan | 0.000 % | 1.59/1.64 c =============================================================================== 1.59/1.64 c New solution: 23 1.59/1.64 o 23 1.59/1.64 c Elapsed CPU time: 1.61475 s Remaining CPU time: 178.385 s 1.59/1.64 c =============================================================================== 1.59/1.64 c | 11 | 5885 21416 54680 | 7138 11 121 | 0.000 % | 1.59/1.66 c | 112 | 5885 21416 54680 | 7852 112 46 | 2.356 % | 1.69/1.70 c | 264 | 5885 21416 54680 | 8637 264 39 | 2.356 % | 1.69/1.75 c | 490 | 5885 21416 54680 | 9501 490 78 | 2.356 % | 1.79/1.83 c | 827 | 5885 21416 54680 | 10451 827 98 | 2.356 % | 1.99/2.03 c | 1334 | 5885 21416 54680 | 11496 1334 188 | 2.356 % | 2.10/2.17 c | 2093 | 5885 21416 54680 | 12646 2093 161 | 2.356 % | 2.29/2.37 c | 3232 | 5885 21416 54680 | 13911 3232 163 | 2.356 % | 2.89/2.90 c | 4942 | 5885 21416 54680 | 15302 4942 174 | 2.356 % | 3.39/3.42 c | 7505 | 5885 21416 54680 | 16832 7505 173 | 2.356 % | 4.40/4.44 c | 11351 | 5885 21416 54680 | 18515 11351 192 | 2.356 % | 5.89/5.92 c | 17118 | 5885 21416 54680 | 20367 17118 190 | 2.356 % | 11.00/11.08 c | 25768 | 5885 21416 54680 | 22404 12298 534 | 2.356 % | 14.78/14.87 c | 38742 | 5885 21416 54680 | 24644 25272 408 | 2.356 % | 24.18/24.25 c | 58203 | 5885 21416 54680 | 27109 12842 577 | 2.356 % | 35.17/35.22 c | 87395 | 5885 21416 54680 | 29819 21338 453 | 2.356 % | 66.97/67.02 c | 131184 | 5885 21416 54680 | 32801 20954 652 | 2.356 % | 101.65/101.73 c | 196869 | 5885 21416 54680 | 36082 36810 403 | 2.356 % | 143.04/143.17 c | 295395 | 5885 21416 54680 | 39690 24250 279 | 2.356 % | 182.43/182.56 c There are 142 assigned variables. 5 in cost function. 183.03/183.19 c core #1 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c Core size: 161 Core Weight: 1 Total Weight: 6 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c core #2 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c Core size: 166 Core Weight: 1 Total Weight: 7 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c core #3 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c Core size: 350 Core Weight: 1 Total Weight: 8 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c core #4 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c Core size: 182 Core Weight: 1 Total Weight: 9 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c core #5 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c Core size: 172 Core Weight: 1 Total Weight: 10 183.03/183.19 c 183.03/183.19 c 183.03/183.19 c ============================[ Search Statistics ]============================== 183.03/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.03/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.03/183.19 c =============================================================================== 183.03/183.19 c | 0 | 4555 22040 53850 | 7346 0 nan | 0.000 % | 183.13/183.21 c =============================================================================== 183.13/183.25 c core #6 183.13/183.25 c 183.13/183.25 c 183.13/183.25 c Core size: 318 Core Weight: 1 Total Weight: 11 183.13/183.25 c 183.13/183.25 c 183.13/183.25 c ============================[ Search Statistics ]============================== 183.13/183.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.13/183.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.13/183.25 c =============================================================================== 183.13/183.25 c | 0 | 4916 22041 54478 | 7347 0 nan | 0.000 % | 183.13/183.28 c =============================================================================== 183.23/183.32 c core #7 183.23/183.32 c 183.23/183.32 c 183.23/183.32 c Core size: 324 Core Weight: 1 Total Weight: 12 183.23/183.32 c 183.23/183.32 c 183.23/183.32 c ============================[ Search Statistics ]============================== 183.23/183.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.23/183.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.23/183.32 c =============================================================================== 183.23/183.32 c | 0 | 5270 22042 55086 | 7347 0 nan | 0.000 % | 183.23/183.37 c =============================================================================== 183.33/183.41 c core #8 183.33/183.41 c 183.33/183.41 c 183.33/183.41 c Core size: 813 Core Weight: 1 Total Weight: 13 183.33/183.41 c 183.33/183.41 c 183.33/183.41 c ============================[ Search Statistics ]============================== 183.33/183.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.33/183.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.33/183.41 c =============================================================================== 183.33/183.41 c | 0 | 6327 22043 56398 | 7347 0 nan | 0.000 % | 183.33/183.45 c | 100 | 6322 22043 56398 | 8082 100 54 | 7.291 % | 183.33/183.48 c | 250 | 6322 22043 56398 | 8890 250 46 | 7.291 % | 183.43/183.52 c | 475 | 6314 22043 56398 | 9779 469 46 | 7.379 % | 183.54/183.61 c | 812 | 6310 22043 56398 | 10757 797 61 | 7.437 % | 183.64/183.75 c | 1318 | 6308 22043 56398 | 11833 1296 83 | 7.467 % | 183.93/184.01 c =============================================================================== 183.93/184.07 c core #9 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c Core size: 389 Core Weight: 1 Total Weight: 14 183.93/184.07 c 183.93/184.07 c 183.93/184.07 c ============================[ Search Statistics ]============================== 183.93/184.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.93/184.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.93/184.07 c =============================================================================== 183.93/184.07 c | 0 | 6650 22044 56944 | 7348 0 nan | 0.000 % | 184.02/184.12 c | 101 | 6647 22044 56944 | 8082 101 45 | 5.002 % | 184.02/184.18 c | 251 | 6645 22044 56944 | 8891 245 44 | 5.031 % | 184.13/184.27 c | 476 | 6645 22044 56944 | 9780 470 76 | 5.031 % | 184.33/184.48 c | 813 | 6645 22044 56944 | 10758 807 97 | 5.031 % | 184.53/184.63 c | 1319 | 6643 22044 56944 | 11834 1307 93 | 5.059 % | 184.74/184.84 c | 2079 | 6625 22044 56944 | 13017 2055 84 | 5.345 % | 184.74/184.88 c =============================================================================== 184.83/184.94 c core #10 184.83/184.94 c 184.83/184.94 c 184.83/184.94 c Core size: 643 Core Weight: 1 Total Weight: 15 184.83/184.94 c 184.83/184.94 c 184.83/184.94 c ============================[ Search Statistics ]============================== 184.83/184.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.83/184.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.83/184.94 c =============================================================================== 184.83/184.94 c | 0 | 7297 22045 58124 | 7348 0 nan | 0.000 % | 184.83/184.98 c | 100 | 7297 22045 58124 | 8083 100 54 | 1.909 % | 184.93/185.09 c | 250 | 7297 22045 58124 | 8891 250 123 | 1.909 % | 185.13/185.22 c | 475 | 7297 22045 58124 | 9780 475 119 | 1.909 % | 185.23/185.34 c | 817 | 7297 22045 58124 | 10758 817 160 | 1.909 % | 185.53/185.69 c | 1325 | 7297 22045 58124 | 11834 1325 217 | 1.909 % | 186.13/186.27 c | 2084 | 7297 22045 58124 | 13018 2084 268 | 1.909 % | 186.84/186.97 c | 3225 | 7297 22045 58124 | 14319 3225 255 | 1.909 % | 188.43/188.53 c | 4933 | 7297 22045 58124 | 15751 4933 374 | 1.909 % | 190.93/191.03 c | 7497 | 7297 22045 58124 | 17326 7497 351 | 1.909 % | 194.83/194.94 c | 11341 | 7297 22045 58124 | 19059 11341 398 | 1.909 % | 201.83/201.90 c | 17107 | 7297 22045 58124 | 20965 17107 438 | 1.909 % | 219.62/219.70 c | 25757 | 7297 22045 58124 | 23062 14676 562 | 1.909 % | 239.91/240.06 c | 38732 | 7297 22045 58124 | 25368 15778 558 | 1.909 % | 281.20/281.34 c | 58194 | 7297 22045 58124 | 27905 22105 640 | 1.909 % | 358.69/358.84 c | 87386 | 7297 22045 58124 | 30695 22244 707 | 1.909 % | 419.57/419.76 c | 131179 | 7297 22045 58124 | 33765 18188 393 | 1.909 % | 518.95/519.16 c | 196863 | 7297 22045 58124 | 37141 26645 506 | 1.909 % | 808.76/809.09 c | 295390 | 7295 22045 58124 | 40856 34243 776 | 1.936 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680453-1277460046/watcher-2680453-1277460046 -o /tmp/evaluation-result-2680453-1277460046/solver-2680453-1277460046 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680453-1277460046.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): 2000 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 Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.97 3/105 26791 /proc/meminfo: memFree=1847900/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=3320 CPUtime=0 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 329 0 0 0 0 0 0 0 25 0 1 0 87298713 3399680 247 1992294400 134512640 135752675 4287253232 18446744073709551615 134609555 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 830 247 139 303 0 374 0 [startup+0.071219 s] /proc/loadavg: 1.00 1.00 0.97 3/105 26791 /proc/meminfo: memFree=1847900/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=4640 CPUtime=0.06 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 723 0 0 0 6 0 0 0 25 0 1 0 87298713 4751360 641 1992294400 134512640 135752675 4287253232 18446744073709551615 134633458 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 1160 642 242 303 0 704 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 4640 [startup+0.101222 s] /proc/loadavg: 1.00 1.00 0.97 3/105 26791 /proc/meminfo: memFree=1847900/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=5596 CPUtime=0.09 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 1155 0 0 0 9 0 0 0 25 0 1 0 87298713 5730304 922 1992294400 134512640 135752675 4287253232 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 1399 923 142 303 0 1094 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5596 [startup+0.301244 s] /proc/loadavg: 1.00 1.00 0.97 3/105 26791 /proc/meminfo: memFree=1847900/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=6952 CPUtime=0.29 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 1498 0 0 0 29 0 0 0 25 0 1 0 87298713 7118848 1265 1992294400 134512640 135752675 4287253232 18446744073709551615 135211752 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 1738 1265 142 303 0 1433 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6952 [startup+0.701286 s] /proc/loadavg: 1.00 1.00 0.97 3/105 26791 /proc/meminfo: memFree=1847900/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=7348 CPUtime=0.69 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 1620 0 0 0 68 1 0 0 25 0 1 0 87298713 7524352 1388 1992294400 134512640 135752675 4287253232 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 1837 1388 142 303 0 1532 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7348 [startup+1.50137 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26792 /proc/meminfo: memFree=1842064/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=9064 CPUtime=1.49 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 2041 0 0 0 147 2 0 0 25 0 1 0 87298713 9281536 1808 1992294400 134512640 135752675 4287253232 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 2266 1808 142 303 0 1961 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9064 [startup+3.10154 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26792 /proc/meminfo: memFree=1840824/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=9592 CPUtime=3.09 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 2180 0 0 0 304 5 0 0 25 0 1 0 87298713 9822208 1947 1992294400 134512640 135752675 4287253232 18446744073709551615 134518934 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 2398 1947 145 303 0 2093 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 9592 [startup+6.30088 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26792 /proc/meminfo: memFree=1831276/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=20816 CPUtime=6.29 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 4997 0 0 0 618 11 0 0 25 0 1 0 87298713 21315584 4764 1992294400 134512640 135752675 4287253232 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 5204 4764 145 303 0 4899 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20816 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26792 /proc/meminfo: memFree=1801268/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=52200 CPUtime=12.68 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 12821 0 0 0 1247 21 0 0 25 0 1 0 87298713 53452800 12588 1992294400 134512640 135752675 4287253232 18446744073709551615 134611655 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 13050 12588 145 303 0 12745 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52200 [startup+25.5009 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26801 /proc/meminfo: memFree=1738524/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=112624 CPUtime=25.47 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 27924 0 0 0 2499 48 0 0 25 0 1 0 87298713 115326976 27691 1992294400 134512640 135752675 4287253232 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 28156 27691 145 303 0 27851 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 112624 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26801 /proc/meminfo: memFree=1637216/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=214520 CPUtime=51.06 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 53399 0 0 0 5020 86 0 0 25 0 1 0 87298713 219668480 53166 1992294400 134512640 135752675 4287253232 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 53630 53166 145 303 0 53325 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 214520 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26803 /proc/meminfo: memFree=1460268/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=389260 CPUtime=102.26 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 97069 0 0 0 10080 146 0 0 25 0 1 0 87298713 398602240 96836 1992294400 134512640 135752675 4287253232 18446744073709551615 134638089 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 97315 96836 145 303 0 97010 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 389260 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26805 /proc/meminfo: memFree=1255048/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=595348 CPUtime=162.23 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 148558 0 0 0 15996 227 0 0 25 0 1 0 87298713 609636352 148325 1992294400 134512640 135752675 4287253232 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 148837 148325 145 303 0 148532 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 595348 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26807 /proc/meminfo: memFree=1186724/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=661136 CPUtime=222.22 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 165262 0 0 0 21938 284 0 0 25 0 1 0 87298713 677003264 164826 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 165284 164826 146 303 0 164979 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 661136 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26807 /proc/meminfo: memFree=1123236/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=725880 CPUtime=282.21 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 181458 0 0 0 27895 326 0 0 25 0 1 0 87298713 743301120 181022 1992294400 134512640 135752675 4287253232 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 181470 181022 146 303 0 181165 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 725880 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26809 /proc/meminfo: memFree=1036064/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=812132 CPUtime=342.19 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 203023 0 0 0 33859 360 0 0 25 0 1 0 87298713 831623168 202587 1992294400 134512640 135752675 4287253232 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 203033 202587 146 303 0 202728 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 812132 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26811 /proc/meminfo: memFree=964144/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=885160 CPUtime=402.17 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 221257 0 0 0 39811 406 0 0 25 0 1 0 87298713 906403840 220821 1992294400 134512640 135752675 4287253232 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 221290 220821 146 303 0 220985 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 885160 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26813 /proc/meminfo: memFree=869160/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=978956 CPUtime=462.16 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 244731 0 0 0 45753 463 0 0 25 0 1 0 87298713 1002450944 244295 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 244739 244295 146 303 0 244434 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 978956 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26813 /proc/meminfo: memFree=795008/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1053644 CPUtime=522.14 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 263370 0 0 0 51716 498 0 0 25 0 1 0 87298713 1078931456 262934 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 263411 262934 146 303 0 263106 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 1053644 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26815 /proc/meminfo: memFree=708208/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1139752 CPUtime=582.13 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 284897 0 0 0 57682 531 0 0 25 0 1 0 87298713 1167106048 284461 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 284938 284461 146 303 0 284633 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 1139752 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26817 /proc/meminfo: memFree=640256/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1206872 CPUtime=642.12 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 301698 0 0 0 63654 558 0 0 25 0 1 0 87298713 1235836928 301262 1992294400 134512640 135752675 4287253232 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 301718 301262 146 303 0 301413 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 1206872 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26819 /proc/meminfo: memFree=554696/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1292884 CPUtime=702.1 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 323186 0 0 0 69625 585 0 0 25 0 1 0 87298713 1323913216 322750 1992294400 134512640 135752675 4287253232 18446744073709551615 134639406 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 323221 322750 146 303 0 322916 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 1292884 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26821 /proc/meminfo: memFree=489968/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1356876 CPUtime=762.09 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 339160 0 0 0 75603 606 0 0 25 0 1 0 87298713 1389441024 338724 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 339219 338724 146 303 0 338914 0 Current children cumulated CPU time (s) 762.09 Current children cumulated vsize (KiB) 1356876 [startup+822.302 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26823 /proc/meminfo: memFree=412964/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1434692 CPUtime=822.07 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 358600 0 0 0 81575 632 0 0 25 0 1 0 87298713 1469124608 358164 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 358673 358164 146 303 0 358368 0 Current children cumulated CPU time (s) 822.07 Current children cumulated vsize (KiB) 1434692 [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26823 /proc/meminfo: memFree=341416/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1505312 CPUtime=882.05 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 376242 0 0 0 87554 651 0 0 25 0 1 0 87298713 1541439488 375806 1992294400 134512640 135752675 4287253232 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 376328 375806 146 303 0 376023 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1505312 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26825 /proc/meminfo: memFree=282764/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1564352 CPUtime=942.03 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 391005 0 0 0 93529 674 0 0 25 0 1 0 87298713 1601896448 390569 1992294400 134512640 135752675 4287253232 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 391088 390569 146 303 0 390783 0 Current children cumulated CPU time (s) 942.03 Current children cumulated vsize (KiB) 1564352 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26827 /proc/meminfo: memFree=212704/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1633800 CPUtime=1002.01 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 408367 0 0 0 99502 699 0 0 25 0 1 0 87298713 1673011200 407931 1992294400 134512640 135752675 4287253232 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 408450 407931 146 303 0 408145 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1633800 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26829 /proc/meminfo: memFree=157028/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1690192 CPUtime=1062 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 422447 0 0 0 105480 720 0 0 25 0 1 0 87298713 1730756608 422011 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 422548 422011 146 303 0 422243 0 Current children cumulated CPU time (s) 1062 Current children cumulated vsize (KiB) 1690192 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.97 2/106 26831 /proc/meminfo: memFree=116108/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1730380 CPUtime=1121.99 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 432479 0 0 0 111457 742 0 0 25 0 1 0 87298713 1771909120 432043 1992294400 134512640 135752675 4287253232 18446744073709551615 134639434 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 432595 432043 146 303 0 432290 0 Current children cumulated CPU time (s) 1121.99 Current children cumulated vsize (KiB) 1730380 [startup+1182.3 s] /proc/loadavg: 1.05 1.01 0.97 2/106 26831 /proc/meminfo: memFree=42948/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1804536 CPUtime=1181.97 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 451009 0 0 0 117424 773 0 0 25 0 1 0 87298713 1847844864 450573 1992294400 134512640 135752675 4287253232 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 451134 450573 146 303 0 450829 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 1804536 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1212.1 s] /proc/loadavg: 1.18 1.04 0.98 2/106 26833 /proc/meminfo: memFree=10136/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=1843448 CPUtime=1211.78 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4202496 460736 0 0 0 120384 794 0 0 25 0 1 0 87298713 1887690752 460300 1992294400 134512640 135752675 4287253232 18446744073709551615 134611645 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/26791/statm: 460862 460300 146 303 0 460557 0 Current children cumulated CPU time (s) 1211.78 Current children cumulated vsize (KiB) 1843448 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1212.22 s] /proc/loadavg: 1.18 1.04 0.98 2/106 26833 /proc/meminfo: memFree=10136/2059040 swapFree=4140332/4192956 [pid=26791] ppid=26789 vsize=0 CPUtime=1211.88 /proc/26791/stat : 26791 (wbo1.4b) R 26789 26791 26352 0 -1 4203524 460736 0 0 0 120384 804 0 0 25 0 1 0 87298713 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/26791/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1211.88 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1212.28 CPU time (s): 1211.95 CPU user time (s): 1203.85 CPU system time (s): 8.10677 CPU usage (%): 99.973 Max. virtual memory (cumulated for all children) (KiB): 1843448 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1203.85 system time used= 8.10677 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460736 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= 6 involuntary context switches= 975 runsolver used 2.02369 second user time and 5.70913 second system time The end
Begin job on node081 at 2010-06-25 12:00:46 IDJOB=2680453 IDBENCH=25015 IDSOLVER=1190 FILE ID=node081/2680453-1277460046 PBS_JOBID= 11188109 Free space on /tmp= 121784 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_6.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680453-1277460046/watcher-2680453-1277460046 -o /tmp/evaluation-result-2680453-1277460046/solver-2680453-1277460046 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680453-1277460046.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d25f6086317f033c233c4700493f03d1 RANDOM SEED=283579043 node081.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.212 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.42 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.212 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.41 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848428 kB Buffers: 31692 kB Cached: 79604 kB SwapCached: 5772 kB Active: 58000 kB Inactive: 67012 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848428 kB SwapTotal: 4192956 kB SwapFree: 4140332 kB Dirty: 3248 kB Writeback: 0 kB AnonPages: 11904 kB Mapped: 12232 kB Slab: 63756 kB PageTables: 4164 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181796 kB VmallocTotal: 34359738367 kB VmallocUsed: 264964 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 121784 MiB End job on node081 at 2010-06-25 12:21:00