Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1204.77 | 1205.09 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_2.opb |
MD5SUM | af0ded53094abde95c37378ccd6c7afa |
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.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 21 |
Optimality of the best value was proved | NO |
Number of variables | 8901 |
Total number of constraints | 32298 |
Number of constraints which are clauses | 32280 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 17 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 790 |
Number of terms in the objective function | 790 |
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 | 790 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 30 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 820 |
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-2680456-1277460080.opb. 0.00/0.00 c Instance file HOME/instance-2680456-1277460080.opb 0.00/0.00 c File size is 937948 bytes. 0.09/0.15 c Highest Coefficient sum: 820 0.09/0.15 c ============================[ Problem Statistics ]============================= 0.09/0.15 c | | 0.09/0.15 c | Parsing time: 0.15 s | 0.09/0.15 c | Number Variables: 8901 | 0.09/0.15 c | Number Clauses: 32280 | 0.09/0.15 c | Number Cardinality: 1 | 0.09/0.15 c | Number PB Constraints: 17 | 6.19/6.28 c ============================[ Search Statistics ]============================== 6.19/6.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.19/6.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.19/6.28 c =============================================================================== 6.19/6.28 c | 0 | 8667 32527 81795 | 10766 0 nan | 0.000 % | 6.29/6.30 c =============================================================================== 6.29/6.30 c New solution: 26 6.29/6.30 o 26 6.29/6.30 c Elapsed CPU time: 6.27405 s Remaining CPU time: 173.726 s 6.29/6.30 c =============================================================================== 6.29/6.30 c | 8 | 8667 32528 82585 | 10842 8 251 | 0.000 % | 6.29/6.31 c =============================================================================== 6.29/6.31 c New solution: 24 6.29/6.31 o 24 6.29/6.31 c Elapsed CPU time: 6.28504 s Remaining CPU time: 173.715 s 6.29/6.31 c =============================================================================== 6.29/6.31 c | 9 | 8667 32529 83375 | 10843 9 226 | 0.000 % | 6.29/6.35 c | 109 | 8667 32529 83375 | 11927 109 83 | 2.629 % | 6.39/6.40 c | 259 | 8667 32529 83375 | 13120 259 62 | 2.629 % | 6.39/6.45 c | 485 | 8667 32529 83375 | 14432 485 83 | 2.629 % | 6.49/6.59 c | 825 | 8667 32529 83375 | 15875 825 466 | 2.629 % | 6.68/6.78 c | 1331 | 8667 32529 83375 | 17462 1331 324 | 2.629 % | 6.99/7.07 c | 2092 | 8667 32529 83375 | 19209 2092 370 | 2.629 % | 7.28/7.38 c | 3234 | 8667 32529 83375 | 21129 3234 306 | 2.629 % | 7.99/8.06 c | 4942 | 8667 32529 83375 | 23242 4942 335 | 2.629 % | 9.09/9.19 c | 7508 | 8667 32529 83375 | 25567 7508 444 | 2.629 % | 10.29/10.36 c | 11352 | 8667 32529 83375 | 28123 11352 461 | 2.629 % | 12.49/12.51 c | 17122 | 8667 32529 83375 | 30936 17122 439 | 2.629 % | 17.18/17.22 c | 25771 | 8667 32529 83375 | 34029 25771 491 | 2.629 % | 24.59/24.65 c | 38745 | 8667 32529 83375 | 37432 38745 539 | 2.629 % | 38.28/38.39 c | 58207 | 8667 32529 83375 | 41176 31330 725 | 2.629 % | 57.98/58.09 c | 87399 | 8667 32529 83375 | 45293 23821 967 | 2.629 % | 89.08/89.13 c | 131188 | 8667 32529 83375 | 49823 28591 821 | 2.629 % | 144.16/144.24 c | 196876 | 8667 32529 83375 | 54805 49599 761 | 2.629 % | 181.95/182.04 c There are 234 assigned variables. 5 in cost function. 182.55/182.69 c core #1 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 340 Core Weight: 1 Total Weight: 6 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #2 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 354 Core Weight: 1 Total Weight: 7 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #3 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 173 Core Weight: 1 Total Weight: 8 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #4 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 366 Core Weight: 1 Total Weight: 9 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c core #5 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c Core size: 390 Core Weight: 1 Total Weight: 10 182.55/182.69 c 182.55/182.69 c 182.55/182.69 c ============================[ Search Statistics ]============================== 182.55/182.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.55/182.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.55/182.69 c =============================================================================== 182.55/182.69 c | 0 | 7499 33268 83429 | 11089 0 nan | 0.000 % | 182.74/182.81 c | 100 | 7268 33268 83429 | 12198 79 141 | 25.293 % | 182.74/182.83 c =============================================================================== 182.84/182.91 c core #6 182.84/182.91 c 182.84/182.91 c 182.84/182.91 c Core size: 999 Core Weight: 1 Total Weight: 11 182.84/182.91 c 182.84/182.91 c 182.84/182.91 c ============================[ Search Statistics ]============================== 182.84/182.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.84/182.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.84/182.91 c =============================================================================== 182.84/182.91 c | 0 | 8587 33269 84839 | 11089 0 nan | 0.000 % | 182.84/182.98 c | 101 | 8587 33269 84839 | 12198 101 136 | 12.324 % | 182.94/183.07 c | 252 | 8587 33269 84839 | 13418 252 146 | 12.324 % | 183.15/183.22 c | 478 | 8586 33269 84839 | 14760 477 176 | 12.334 % | 183.34/183.47 c | 815 | 8586 33269 84839 | 16236 814 172 | 12.334 % | 183.84/183.90 c | 1321 | 8582 33269 84839 | 17860 1319 184 | 12.375 % | 184.65/184.76 c | 2080 | 8582 33269 84839 | 19646 2073 189 | 12.375 % | 186.14/186.28 c | 3222 | 8582 33269 84839 | 21610 3215 262 | 12.375 % | 188.44/188.50 c | 4930 | 8581 33269 84839 | 23771 4922 266 | 12.385 % | 188.74/188.84 c =============================================================================== 188.84/188.95 c core #7 188.84/188.95 c 188.84/188.95 c 188.84/188.95 c Core size: 996 Core Weight: 1 Total Weight: 12 188.84/188.95 c 188.84/188.95 c 188.84/188.95 c ============================[ Search Statistics ]============================== 188.84/188.95 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.84/188.95 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.84/188.95 c =============================================================================== 188.84/188.95 c | 0 | 8992 33270 85655 | 11090 0 nan | 0.000 % | 188.94/189.05 c | 101 | 8992 33270 85655 | 12199 101 166 | 11.817 % | 189.05/189.16 c | 255 | 8992 33270 85655 | 13418 255 174 | 11.817 % | 189.15/189.26 c | 481 | 8992 33270 85655 | 14760 481 158 | 11.817 % | 189.34/189.49 c | 818 | 8992 33270 85655 | 16236 818 296 | 11.817 % | 189.94/190.05 c | 1324 | 8992 33270 85655 | 17860 1324 504 | 11.817 % | 190.95/191.07 c | 2084 | 8992 33270 85655 | 19646 2084 563 | 11.817 % | 192.35/192.47 c | 3224 | 8992 33270 85655 | 21611 3224 588 | 11.817 % | 194.44/194.53 c | 4932 | 8992 33270 85655 | 23772 4932 578 | 11.817 % | 197.94/198.08 c | 7495 | 8992 33270 85655 | 26149 7495 626 | 11.817 % | 203.64/203.76 c | 11339 | 8992 33270 85655 | 28764 11339 602 | 11.817 % | 213.24/213.38 c | 17106 | 8992 33270 85655 | 31641 17106 511 | 11.817 % | 235.03/235.15 c | 25757 | 8992 33270 85655 | 34805 25757 557 | 11.817 % | 271.92/272.05 c | 38731 | 8992 33270 85655 | 38285 38731 697 | 11.817 % | 343.11/343.23 c | 58192 | 8992 33270 85655 | 42114 30787 1087 | 11.817 % | 430.28/430.47 c | 87386 | 8992 33270 85655 | 46325 31138 929 | 11.817 % | 600.63/600.82 c | 131177 | 8992 33270 85655 | 50958 43275 1115 | 11.817 % | 816.07/816.37 c | 196862 | 8992 33270 85655 | 56054 35972 834 | 11.817 % |
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-2680456-1277460080/watcher-2680456-1277460080 -o /tmp/evaluation-result-2680456-1277460080/solver-2680456-1277460080 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680456-1277460080.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.01 1.00 3/106 27621 /proc/meminfo: memFree=1852720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=3760 CPUtime=0 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 340 0 0 0 0 0 0 0 20 0 1 0 87303007 3850240 258 1992294400 134512640 135752675 4291013648 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 940 258 140 303 0 406 0 [startup+0.0946331 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27621 /proc/meminfo: memFree=1852720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=5448 CPUtime=0.09 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 853 0 0 0 9 0 0 0 20 0 1 0 87303007 5578752 771 1992294400 134512640 135752675 4291013648 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 1362 771 269 303 0 828 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5448 [startup+0.100632 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27621 /proc/meminfo: memFree=1852720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=5448 CPUtime=0.09 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 878 0 0 0 9 0 0 0 20 0 1 0 87303007 5578752 796 1992294400 134512640 135752675 4291013648 18446744073709551615 134559936 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 1362 796 277 303 0 828 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 5448 [startup+0.300655 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27621 /proc/meminfo: memFree=1852720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=8544 CPUtime=0.29 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 1987 0 0 0 29 0 0 0 20 0 1 0 87303007 8749056 1676 1992294400 134512640 135752675 4291013648 18446744073709551615 134580116 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 2136 1676 142 303 0 1831 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8544 [startup+0.700697 s] /proc/loadavg: 1.00 1.01 1.00 3/106 27621 /proc/meminfo: memFree=1852720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=8940 CPUtime=0.69 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 2076 0 0 0 69 0 0 0 20 0 1 0 87303007 9154560 1765 1992294400 134512640 135752675 4291013648 18446744073709551615 135211785 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 2235 1765 142 303 0 1930 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8940 [startup+1.50078 s] /proc/loadavg: 1.00 1.01 1.00 2/107 27622 /proc/meminfo: memFree=1845520/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=10128 CPUtime=1.49 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 2362 0 0 0 149 0 0 0 23 0 1 0 87303007 10371072 2051 1992294400 134512640 135752675 4291013648 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 2532 2051 142 303 0 2227 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10128 [startup+3.10096 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27622 /proc/meminfo: memFree=1844156/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=12108 CPUtime=3.09 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 2878 0 0 0 308 1 0 0 25 0 1 0 87303007 12398592 2567 1992294400 134512640 135752675 4291013648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 3027 2567 142 303 0 2722 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 12108 [startup+6.3003 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27622 /proc/meminfo: memFree=1840436/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=14616 CPUtime=6.29 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 3488 0 0 0 627 2 0 0 25 0 1 0 87303007 14966784 3177 1992294400 134512640 135752675 4291013648 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 3654 3177 144 303 0 3349 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14616 [startup+12.701 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27622 /proc/meminfo: memFree=1818952/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=38912 CPUtime=12.69 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 9582 0 0 0 1255 14 0 0 25 0 1 0 87303007 39845888 9271 1992294400 134512640 135752675 4291013648 18446744073709551615 134640028 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 9728 9271 145 303 0 9423 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 38912 [startup+25.5014 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27622 /proc/meminfo: memFree=1758720/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=97712 CPUtime=25.48 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 24258 0 0 0 2514 34 0 0 25 0 1 0 87303007 100057088 23947 1992294400 134512640 135752675 4291013648 18446744073709551615 134611626 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 24428 23947 145 303 0 24123 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 97712 [startup+51.1012 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27624 /proc/meminfo: memFree=1632612/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=225572 CPUtime=51.08 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 56227 0 0 0 5043 65 0 0 25 0 1 0 87303007 230985728 55916 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 56393 55916 145 303 0 56088 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 225572 [startup+102.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27624 /proc/meminfo: memFree=1384860/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=469216 CPUtime=102.27 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 117146 0 0 0 10102 125 0 0 25 0 1 0 87303007 480477184 116835 1992294400 134512640 135752675 4291013648 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 117304 116835 145 303 0 116999 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 469216 [startup+162.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27626 /proc/meminfo: memFree=1164140/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=692416 CPUtime=162.25 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 172901 0 0 0 16042 183 0 0 25 0 1 0 87303007 709033984 172590 1992294400 134512640 135752675 4291013648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 173104 172590 145 303 0 172799 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 692416 [startup+222.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27628 /proc/meminfo: memFree=1097428/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=754940 CPUtime=222.23 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 189071 0 0 0 22000 223 0 0 25 0 1 0 87303007 773058560 188276 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 188735 188276 146 303 0 188430 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 754940 [startup+282.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27630 /proc/meminfo: memFree=1097304/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=754940 CPUtime=282.22 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 189075 0 0 0 27986 236 0 0 25 0 1 0 87303007 773058560 188280 1992294400 134512640 135752675 4291013648 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 188735 188280 146 303 0 188430 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 754940 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27632 /proc/meminfo: memFree=1046092/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=807040 CPUtime=342.21 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 202077 0 0 0 33966 255 0 0 25 0 1 0 87303007 826408960 201282 1992294400 134512640 135752675 4291013648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 201760 201282 146 303 0 201455 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 807040 [startup+402.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27632 /proc/meminfo: memFree=970328/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=884648 CPUtime=402.18 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 221478 0 0 0 39939 279 0 0 25 0 1 0 87303007 905879552 220683 1992294400 134512640 135752675 4291013648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 221162 220683 146 303 0 220857 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 884648 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27634 /proc/meminfo: memFree=884024/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=968708 CPUtime=462.17 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 242471 0 0 0 45908 309 0 0 25 0 1 0 87303007 991956992 241676 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 242177 241676 146 303 0 241872 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 968708 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27636 /proc/meminfo: memFree=813716/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1039924 CPUtime=522.16 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 260295 0 0 0 51884 332 0 0 25 0 1 0 87303007 1064882176 259500 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 259981 259500 146 303 0 259676 0 Current children cumulated CPU time (s) 522.16 Current children cumulated vsize (KiB) 1039924 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27638 /proc/meminfo: memFree=725676/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1126984 CPUtime=582.14 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 282050 0 0 0 57856 358 0 0 25 0 1 0 87303007 1154031616 281255 1992294400 134512640 135752675 4291013648 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 281746 281255 146 303 0 281441 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 1126984 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27640 /proc/meminfo: memFree=650408/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1201476 CPUtime=642.13 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 300668 0 0 0 63828 385 0 0 25 0 1 0 87303007 1230311424 299873 1992294400 134512640 135752675 4291013648 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 300369 299873 146 303 0 300064 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 1201476 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27640 /proc/meminfo: memFree=568940/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1283120 CPUtime=702.11 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 321069 0 0 0 69798 413 0 0 25 0 1 0 87303007 1313914880 320274 1992294400 134512640 135752675 4291013648 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 320780 320274 146 303 0 320475 0 Current children cumulated CPU time (s) 702.11 Current children cumulated vsize (KiB) 1283120 [startup+762.308 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27642 /proc/meminfo: memFree=492060/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1359532 CPUtime=762.1 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 340185 0 0 0 75744 466 0 0 25 0 1 0 87303007 1392160768 339390 1992294400 134512640 135752675 4291013648 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 339883 339390 146 303 0 339578 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 1359532 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27644 /proc/meminfo: memFree=414188/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1438032 CPUtime=822.08 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 359795 0 0 0 81706 502 0 0 25 0 1 0 87303007 1472544768 359000 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 359508 359000 146 303 0 359203 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 1438032 [startup+882.302 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27646 /proc/meminfo: memFree=343880/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1507532 CPUtime=882.06 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 377179 0 0 0 87675 531 0 0 25 0 1 0 87303007 1543712768 376384 1992294400 134512640 135752675 4291013648 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 376883 376384 146 303 0 376578 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 1507532 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27648 /proc/meminfo: memFree=257824/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1593828 CPUtime=942.05 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 398748 0 0 0 93651 554 0 0 25 0 1 0 87303007 1632079872 397954 1992294400 134512640 135752675 4291013648 18446744073709551615 135207291 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 398457 397955 146 303 0 398152 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 1593828 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27648 /proc/meminfo: memFree=185036/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1665880 CPUtime=1002.03 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 416772 0 0 0 99626 577 0 0 25 0 1 0 87303007 1705861120 415977 1992294400 134512640 135752675 4291013648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 416470 415977 146 303 0 416165 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 1665880 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27650 /proc/meminfo: memFree=135312/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1716496 CPUtime=1062.02 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 429381 0 0 0 105599 603 0 0 25 0 1 0 87303007 1757691904 428586 1992294400 134512640 135752675 4291013648 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 429124 428586 146 303 0 428819 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 1716496 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27652 /proc/meminfo: memFree=80256/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1770524 CPUtime=1122 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 442910 0 0 0 111571 629 0 0 25 0 1 0 87303007 1813016576 442115 1992294400 134512640 135752675 4291013648 18446744073709551615 134605168 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 442631 442115 146 303 0 442326 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 1770524 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27654 /proc/meminfo: memFree=30284/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1820868 CPUtime=1181.98 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 455458 0 0 0 117546 652 0 0 25 0 1 0 87303007 1864568832 454663 1992294400 134512640 135752675 4291013648 18446744073709551615 134612130 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 455217 454663 146 303 0 454912 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 1820868 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1204.9 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27654 /proc/meminfo: memFree=10636/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=1843280 CPUtime=1204.58 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4202496 461077 0 0 0 119795 663 0 0 25 0 1 0 87303007 1887518720 460282 1992294400 134512640 135752675 4291013648 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27621/statm: 460820 460282 146 303 0 460515 0 Current children cumulated CPU time (s) 1204.58 Current children cumulated vsize (KiB) 1843280 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1205.01 s] /proc/loadavg: 1.00 1.00 1.00 2/107 27654 /proc/meminfo: memFree=10636/2059040 swapFree=4140228/4192956 [pid=27621] ppid=27619 vsize=0 CPUtime=1204.69 /proc/27621/stat : 27621 (wbo1.4b) R 27619 27621 27091 0 -1 4203524 461077 0 0 0 119796 673 0 0 25 0 1 0 87303007 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27621/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1204.69 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1205.09 CPU time (s): 1204.77 CPU user time (s): 1197.96 CPU system time (s): 6.81296 CPU usage (%): 99.974 Max. virtual memory (cumulated for all children) (KiB): 1843280 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1197.96 system time used= 6.81296 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461077 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= 3365 runsolver used 2.07368 second user time and 5.61415 second system time The end
Begin job on node035 at 2010-06-25 12:01:20 IDJOB=2680456 IDBENCH=25018 IDSOLVER=1190 FILE ID=node035/2680456-1277460080 PBS_JOBID= 11188131 Free space on /tmp= 62436 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680456-1277460080/watcher-2680456-1277460080 -o /tmp/evaluation-result-2680456-1277460080/solver-2680456-1277460080 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680456-1277460080.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= af0ded53094abde95c37378ccd6c7afa RANDOM SEED=1522078472 node035.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.219 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.43 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.219 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 : 5599.54 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1853248 kB Buffers: 36024 kB Cached: 70944 kB SwapCached: 5664 kB Active: 62292 kB Inactive: 58116 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1853248 kB SwapTotal: 4192956 kB SwapFree: 4140228 kB Dirty: 3616 kB Writeback: 0 kB AnonPages: 11992 kB Mapped: 12040 kB Slab: 63360 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182940 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62432 MiB End job on node035 at 2010-06-25 12:21:27