Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1418.45 | 1418.89 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_1.opb |
MD5SUM | a7af672db5daf9bd21f1768f531add6b |
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 | 26 |
Best CPU time to get the best result obtained on this benchmark | 1800.54 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 25 |
Optimality of the best value was proved | NO |
Number of variables | 21320 |
Total number of constraints | 79746 |
Number of constraints which are clauses | 79734 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 11 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 1407 |
Number of terms in the objective function | 1407 |
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 | 1407 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 35 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1442 |
Number of bits of the biggest sum of numbers | 11 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655814-1276641337.opb. 0.00/0.00 c Instance file HOME/instance-2655814-1276641337.opb 0.00/0.00 c File size is 2416408 bytes. 0.29/0.36 c Highest Coefficient sum: 1442 0.29/0.36 c ============================[ Problem Statistics ]============================= 0.29/0.36 c | | 0.29/0.36 c | Parsing time: 0.36 s | 0.29/0.36 c | Number Variables: 21320 | 0.29/0.36 c | Number Clauses: 79734 | 0.29/0.36 c | Number Cardinality: 1 | 0.29/0.36 c | Number PB Constraints: 11 | 17.18/17.28 c ============================[ Search Statistics ]============================== 17.18/17.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 17.18/17.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 17.18/17.28 c =============================================================================== 17.18/17.29 c | 0 | 20955 80106 201498 | 26582 0 nan | 0.000 % | 17.28/17.32 c =============================================================================== 17.28/17.32 c New solution: 33 17.28/17.32 o 33 17.28/17.32 c Elapsed CPU time: 17.2604 s Remaining CPU time: 162.74 s 17.28/17.32 c =============================================================================== 17.28/17.32 c | 11 | 20955 80107 202905 | 26702 11 430 | 0.000 % | 17.28/17.35 c =============================================================================== 17.28/17.35 c New solution: 32 17.28/17.35 o 32 17.28/17.35 c Elapsed CPU time: 17.2824 s Remaining CPU time: 162.718 s 17.28/17.35 c =============================================================================== 17.28/17.35 c | 12 | 20955 80108 204312 | 26702 12 411 | 0.000 % | 17.28/17.37 c =============================================================================== 17.28/17.37 c New solution: 31 17.28/17.37 o 31 17.28/17.37 c Elapsed CPU time: 17.3064 s Remaining CPU time: 162.694 s 17.28/17.37 c =============================================================================== 17.28/17.37 c | 15 | 20955 80109 205719 | 26703 15 337 | 0.000 % | 17.38/17.48 c | 117 | 20955 80109 205719 | 29373 117 82 | 1.712 % | 17.59/17.63 c | 267 | 20955 80109 205719 | 32310 267 68 | 1.712 % | 17.69/17.72 c | 493 | 20955 80109 205719 | 35541 493 131 | 1.712 % | 17.79/17.88 c | 830 | 20955 80109 205719 | 39095 830 225 | 1.712 % | 17.98/18.03 c | 1336 | 20955 80109 205719 | 43005 1336 189 | 1.712 % | 18.19/18.29 c | 2096 | 20955 80109 205719 | 47305 2096 234 | 1.712 % | 19.08/19.10 c | 3240 | 20955 80109 205719 | 52036 3240 381 | 1.712 % | 20.19/20.28 c | 4948 | 20955 80109 205719 | 57240 4948 676 | 1.712 % | 21.89/21.98 c | 7510 | 20955 80109 205719 | 62964 7510 642 | 1.712 % | 25.19/25.20 c | 11355 | 20955 80109 205719 | 69260 11355 837 | 1.712 % | 26.98/27.07 c | 17121 | 20955 80109 205719 | 76186 17121 624 | 1.712 % | 36.68/36.71 c | 25772 | 20955 80109 205719 | 83805 25772 933 | 1.712 % | 47.47/47.55 c | 38746 | 20955 80109 205719 | 92185 38746 829 | 1.712 % | 71.37/71.47 c | 58212 | 20955 80109 205719 | 101404 58212 889 | 1.712 % | 85.95/86.09 c | 87404 | 20955 80109 205719 | 111545 87404 707 | 1.712 % | 156.44/156.57 c | 131193 | 20955 80109 205719 | 122699 131193 926 | 1.712 % | 181.63/181.73 c There are 365 assigned variables. 5 in cost function. 182.63/182.74 c core #1 182.63/182.74 c core #2 182.63/182.74 c core #3 182.63/182.74 c core #4 182.63/182.74 c core #5 182.63/182.74 c ============================[ Search Statistics ]============================== 182.63/182.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.63/182.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.63/182.74 c =============================================================================== 182.63/182.74 c | 0 | 16106 81502 204847 | 27167 0 nan | 0.000 % | 182.83/182.91 c | 100 | 16035 81502 204847 | 29884 100 377 | 30.819 % | 183.13/183.22 c | 250 | 15891 81502 204847 | 32872 250 219 | 32.259 % | 183.43/183.60 c =============================================================================== 183.63/183.76 c core #6 183.63/183.76 c ============================[ Search Statistics ]============================== 183.63/183.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.63/183.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.63/183.76 c =============================================================================== 183.63/183.76 c | 0 | 16465 81503 205480 | 27167 0 nan | 0.000 % | 183.83/183.97 c | 100 | 16387 81503 205480 | 29884 100 307 | 27.124 % | 184.03/184.15 c =============================================================================== 184.23/184.31 c core #7 184.23/184.31 c ============================[ Search Statistics ]============================== 184.23/184.31 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.23/184.31 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.23/184.31 c =============================================================================== 184.23/184.31 c | 0 | 20251 81512 209785 | 27170 0 nan | 0.000 % | 184.33/184.48 c | 101 | 20233 81512 209785 | 29887 101 38 | 10.943 % | 184.52/184.60 c | 251 | 20200 81512 209785 | 32876 242 55 | 11.379 % | 184.93/185.05 c | 476 | 20034 81512 209785 | 36164 418 80 | 12.387 % | 185.12/185.25 c =============================================================================== 185.32/185.42 c core #8 185.32/185.42 c ============================[ Search Statistics ]============================== 185.32/185.42 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.32/185.42 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.32/185.42 c =============================================================================== 185.32/185.42 c | 0 | 22823 81535 212594 | 27178 0 nan | 0.000 % | 185.53/185.69 c | 103 | 22823 81535 212594 | 29896 103 366 | 1.574 % | 185.63/185.75 c | 254 | 22823 81535 212594 | 32885 254 181 | 1.574 % | 185.73/185.87 c | 480 | 22799 81535 212594 | 36174 479 137 | 1.678 % | 185.93/186.04 c | 817 | 22774 81535 212594 | 39791 799 101 | 1.785 % | 186.02/186.11 c =============================================================================== 186.12/186.27 c core #9 186.12/186.27 c ============================[ Search Statistics ]============================== 186.12/186.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 186.12/186.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 186.12/186.27 c =============================================================================== 186.12/186.27 c | 0 | 23003 81624 213220 | 27208 0 nan | 0.000 % | 186.33/186.44 c | 100 | 23003 81624 213220 | 29928 100 292 | 1.562 % | 186.43/186.50 c | 250 | 23003 81624 213220 | 32921 250 156 | 1.562 % | 186.63/186.73 c | 476 | 23003 81624 213220 | 36213 476 136 | 1.562 % | 187.33/187.41 c | 813 | 22980 81624 213220 | 39835 802 136 | 1.660 % | 188.73/188.82 c | 1319 | 22879 81624 213220 | 43818 1205 192 | 2.093 % | 190.53/190.66 c | 2078 | 22879 81624 213220 | 48200 1964 336 | 2.093 % | 193.82/193.90 c | 3218 | 22879 81624 213220 | 53020 3094 424 | 2.093 % | 198.33/198.46 c | 4926 | 22807 81624 213220 | 58322 4801 442 | 2.401 % | 208.12/208.28 c | 7491 | 22368 81624 213220 | 64155 7053 452 | 4.690 % | 219.32/219.45 c =============================================================================== 219.62/219.78 c core #10 219.62/219.78 c ============================[ Search Statistics ]============================== 219.62/219.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 219.62/219.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 219.62/219.78 c =============================================================================== 219.62/219.78 c | 0 | 25163 82869 222785 | 27623 0 nan | 0.000 % | 219.82/219.96 c | 100 | 25163 82869 222785 | 30385 100 282 | 1.430 % | 220.32/220.41 c | 250 | 25163 82869 222785 | 33423 250 258 | 1.430 % | 220.72/220.88 c | 475 | 25163 82869 222785 | 36766 475 218 | 1.430 % | 221.22/221.36 c | 812 | 25163 82869 222785 | 40442 812 216 | 1.430 % | 221.92/222.09 c | 1321 | 25163 82869 222785 | 44487 1321 347 | 1.430 % | 223.02/223.16 c | 2088 | 25163 82869 222785 | 48935 2088 316 | 1.430 % | 224.52/224.63 c | 3229 | 25163 82869 222785 | 53829 3229 530 | 1.430 % | 228.22/228.32 c | 4937 | 25163 82869 222785 | 59212 4937 536 | 1.430 % | 235.22/235.39 c | 7499 | 25163 82869 222785 | 65133 7499 525 | 1.430 % | 243.52/243.68 c | 11343 | 25163 82869 222785 | 71646 11343 565 | 1.430 % | 263.82/263.97 c | 17112 | 25163 82869 222785 | 78811 17112 655 | 1.430 % | 294.50/294.63 c | 25763 | 25163 82869 222785 | 86692 25763 802 | 1.430 % | 371.37/371.53 c | 38740 | 25163 82869 222785 | 95362 38740 1174 | 1.430 % | 469.14/469.32 c | 58203 | 25163 82869 222785 | 104898 58203 1221 | 1.430 % | 677.18/677.40 c | 87395 | 25163 82869 222785 | 115388 87395 1323 | 1.430 % | 1060.46/1060.83 c | 131184 | 25163 82869 222785 | 126926 31198 2242 | 1.430 % |
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-2655814-1276641337/watcher-2655814-1276641337 -o /tmp/evaluation-result-2655814-1276641337/solver-2655814-1276641337 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655814-1276641337.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: 0.92 0.98 0.99 3/106 13378 /proc/meminfo: memFree=1820532/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=5244 CPUtime=0 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 5428691 5369856 285 1992294400 134512640 135751879 4288136176 18446744073709551615 134561495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 1311 285 145 303 0 416 0 [startup+0.0347909 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13378 /proc/meminfo: memFree=1820532/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=6016 CPUtime=0.03 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 573 0 0 0 3 0 0 0 20 0 1 0 5428691 6160384 492 1992294400 134512640 135751879 4288136176 18446744073709551615 135377985 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 1504 492 190 303 0 609 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 6016 [startup+0.101797 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13378 /proc/meminfo: memFree=1820532/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=7312 CPUtime=0.09 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 1009 0 0 0 9 0 0 0 20 0 1 0 5428691 7487488 928 1992294400 134512640 135751879 4288136176 18446744073709551615 134574077 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 1828 928 301 303 0 933 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 7312 [startup+0.301818 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13378 /proc/meminfo: memFree=1820532/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=11224 CPUtime=0.29 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 2244 0 0 0 29 0 0 0 20 0 1 0 5428691 11493376 2163 1992294400 134512640 135751879 4288136176 18446744073709551615 135161909 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 2806 2163 630 303 0 1911 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11224 [startup+0.701861 s] /proc/loadavg: 0.92 0.98 0.99 3/106 13378 /proc/meminfo: memFree=1820532/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=17972 CPUtime=0.69 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 4566 0 0 0 68 1 0 0 20 0 1 0 5428691 18403328 3797 1992294400 134512640 135751879 4288136176 18446744073709551615 134523912 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 4493 3797 146 303 0 4188 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17972 [startup+1.50095 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13379 /proc/meminfo: memFree=1805644/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=18236 CPUtime=1.49 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 4619 0 0 0 148 1 0 0 23 0 1 0 5428691 18673664 3850 1992294400 134512640 135751879 4288136176 18446744073709551615 134524619 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 4559 3850 146 303 0 4254 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 18236 [startup+3.10112 s] /proc/loadavg: 0.92 0.98 0.99 2/107 13379 /proc/meminfo: memFree=1805272/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=18632 CPUtime=3.09 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 4740 0 0 0 308 1 0 0 25 0 1 0 5428691 19079168 3971 1992294400 134512640 135751879 4288136176 18446744073709551615 134524580 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 4658 3971 146 303 0 4353 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18632 [startup+6.30146 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13379 /proc/meminfo: memFree=1802544/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=22328 CPUtime=6.29 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 5645 0 0 0 627 2 0 0 25 0 1 0 5428691 22863872 4876 1992294400 134512640 135751879 4288136176 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 5582 4876 146 303 0 5277 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 22328 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/107 13379 /proc/meminfo: memFree=1797840/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=26156 CPUtime=12.69 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 6620 0 0 0 1265 4 0 0 25 0 1 0 5428691 26783744 5851 1992294400 134512640 135751879 4288136176 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 6539 5851 146 303 0 6234 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 26156 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/107 13379 /proc/meminfo: memFree=1772668/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=51280 CPUtime=25.48 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 12889 0 0 0 2530 18 0 0 25 0 1 0 5428691 52510720 12120 1992294400 134512640 135751879 4288136176 18446744073709551615 134610838 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 12820 12120 147 303 0 12515 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 51280 [startup+51.1013 s] /proc/loadavg: 0.96 0.98 0.99 2/107 13381 /proc/meminfo: memFree=1668260/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=157576 CPUtime=51.07 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 39476 0 0 0 5051 56 0 0 25 0 1 0 5428691 161357824 38707 1992294400 134512640 135751879 4288136176 18446744073709551615 134616851 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 39394 38707 147 303 0 39089 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 157576 [startup+102.309 s] /proc/loadavg: 0.98 0.98 0.99 2/107 13381 /proc/meminfo: memFree=1479408/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=343556 CPUtime=102.26 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 85933 0 0 0 10118 108 0 0 25 0 1 0 5428691 351801344 85164 1992294400 134512640 135751879 4288136176 18446744073709551615 134616355 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 85889 85164 147 303 0 85584 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 343556 [startup+162.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13383 /proc/meminfo: memFree=1293284/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=532172 CPUtime=162.24 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 133131 0 0 0 16075 149 0 0 25 0 1 0 5428691 544944128 132362 1992294400 134512640 135751879 4288136176 18446744073709551615 134606447 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 133043 132362 148 303 0 132738 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 532172 [startup+222.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13385 /proc/meminfo: memFree=1198052/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=622792 CPUtime=222.21 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 156821 0 0 0 21988 233 0 0 25 0 1 0 5428691 637739008 155180 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 155698 155180 151 303 0 155393 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 622792 [startup+282.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13387 /proc/meminfo: memFree=1197928/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=622792 CPUtime=282.2 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 156822 0 0 0 27950 270 0 0 25 0 1 0 5428691 637739008 155181 1992294400 134512640 135751879 4288136176 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 155698 155181 151 303 0 155393 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 622792 [startup+342.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13389 /proc/meminfo: memFree=1197928/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=622792 CPUtime=342.18 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 156823 0 0 0 33930 288 0 0 25 0 1 0 5428691 637739008 155182 1992294400 134512640 135751879 4288136176 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 155698 155182 151 303 0 155393 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 622792 [startup+402.301 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13389 /proc/meminfo: memFree=1197804/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=622792 CPUtime=402.17 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 156824 0 0 0 39915 302 0 0 25 0 1 0 5428691 637739008 155183 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 155698 155183 151 303 0 155393 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 622792 [startup+462.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13391 /proc/meminfo: memFree=1130224/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=691400 CPUtime=462.15 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 173973 0 0 0 45878 337 0 0 25 0 1 0 5428691 707993600 172332 1992294400 134512640 135751879 4288136176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 172850 172332 151 303 0 172545 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 691400 [startup+522.302 s] /proc/loadavg: 0.99 0.98 0.99 2/107 13393 /proc/meminfo: memFree=1076036/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=745272 CPUtime=522.13 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 187415 0 0 0 51852 361 0 0 25 0 1 0 5428691 763158528 185774 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 186318 185774 151 303 0 186013 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 745272 [startup+582.301 s] /proc/loadavg: 1.04 1.00 1.00 2/107 13395 /proc/meminfo: memFree=1017384/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=804068 CPUtime=582.11 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 202138 0 0 0 57831 380 0 0 25 0 1 0 5428691 823365632 200497 1992294400 134512640 135751879 4288136176 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 201017 200497 151 303 0 200712 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 804068 [startup+642.302 s] /proc/loadavg: 1.01 1.00 1.00 2/107 13397 /proc/meminfo: memFree=964188/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=856500 CPUtime=642.1 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 215235 0 0 0 63806 404 0 0 25 0 1 0 5428691 877056000 213594 1992294400 134512640 135751879 4288136176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 214125 213594 151 303 0 213820 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 856500 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13397 /proc/meminfo: memFree=909752/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=910924 CPUtime=702.08 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 228869 0 0 0 69784 424 0 0 25 0 1 0 5428691 932786176 227228 1992294400 134512640 135751879 4288136176 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 227731 227228 151 303 0 227426 0 Current children cumulated CPU time (s) 702.08 Current children cumulated vsize (KiB) 910924 [startup+762.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13399 /proc/meminfo: memFree=846636/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=973852 CPUtime=762.06 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 244525 0 0 0 75760 446 0 0 25 0 1 0 5428691 997224448 242884 1992294400 134512640 135751879 4288136176 18446744073709551615 134616492 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 243463 242884 151 303 0 243158 0 Current children cumulated CPU time (s) 762.06 Current children cumulated vsize (KiB) 973852 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13401 /proc/meminfo: memFree=773228/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1047276 CPUtime=822.04 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 262898 0 0 0 81738 466 0 0 25 0 1 0 5428691 1072410624 261257 1992294400 134512640 135751879 4288136176 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 261819 261257 151 303 0 261514 0 Current children cumulated CPU time (s) 822.04 Current children cumulated vsize (KiB) 1047276 [startup+882.302 s] /proc/loadavg: 1.03 1.01 1.00 2/107 13403 /proc/meminfo: memFree=694736/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1126140 CPUtime=882.03 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 282601 0 0 0 87714 489 0 0 25 0 1 0 5428691 1153167360 280960 1992294400 134512640 135751879 4288136176 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 281535 280960 151 303 0 281230 0 Current children cumulated CPU time (s) 882.03 Current children cumulated vsize (KiB) 1126140 [startup+942.301 s] /proc/loadavg: 1.01 1.01 1.00 2/107 13405 /proc/meminfo: memFree=605084/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1216780 CPUtime=942 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 305277 0 0 0 93690 510 0 0 25 0 1 0 5428691 1245982720 303636 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 304195 303636 151 303 0 303890 0 Current children cumulated CPU time (s) 942 Current children cumulated vsize (KiB) 1216780 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13405 /proc/meminfo: memFree=504024/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1315660 CPUtime=1001.99 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 329997 0 0 0 99665 534 0 0 25 0 1 0 5428691 1347235840 328356 1992294400 134512640 135751879 4288136176 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 328915 328356 151 303 0 328610 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 1315660 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13407 /proc/meminfo: memFree=433220/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1387252 CPUtime=1061.97 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 347901 0 0 0 105633 564 0 0 25 0 1 0 5428691 1420546048 346260 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 346813 346260 151 303 0 346508 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 1387252 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13409 /proc/meminfo: memFree=361548/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1458372 CPUtime=1121.95 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 365657 0 0 0 111603 592 0 0 25 0 1 0 5428691 1493372928 364016 1992294400 134512640 135751879 4288136176 18446744073709551615 134606334 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 364593 364016 151 303 0 364288 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 1458372 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13411 /proc/meminfo: memFree=284048/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1536812 CPUtime=1181.93 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 385261 0 0 0 117578 615 0 0 25 0 1 0 5428691 1573695488 383620 1992294400 134512640 135751879 4288136176 18446744073709551615 134616534 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 384203 383620 151 303 0 383898 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 1536812 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13413 /proc/meminfo: memFree=179268/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1640588 CPUtime=1241.91 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 411219 0 0 0 123556 635 0 0 25 0 1 0 5428691 1679962112 409578 1992294400 134512640 135751879 4288136176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 410147 409578 151 303 0 409842 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 1640588 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13413 /proc/meminfo: memFree=97304/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1721400 CPUtime=1301.9 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 431406 0 0 0 129537 653 0 0 25 0 1 0 5428691 1762713600 429765 1992294400 134512640 135751879 4288136176 18446744073709551615 134519008 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 430350 429765 151 303 0 430045 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1721400 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13415 /proc/meminfo: memFree=31088/2059040 swapFree=4180036/4192956 [pid=13378] ppid=13376 vsize=1787776 CPUtime=1361.88 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 448006 0 0 0 135506 682 0 0 25 0 1 0 5428691 1830682624 446365 1992294400 134512640 135751879 4288136176 18446744073709551615 134616276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 446944 446365 151 303 0 446639 0 Current children cumulated CPU time (s) 1361.88 Current children cumulated vsize (KiB) 1787776 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1418.71 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13417 /proc/meminfo: memFree=9780/2059040 swapFree=4152912/4192956 [pid=13378] ppid=13376 vsize=1843252 CPUtime=1418.27 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4202496 461898 0 0 0 141127 700 0 0 25 0 1 0 5428691 1887490048 460257 1992294400 134512640 135751879 4288136176 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/13378/statm: 460813 460257 151 303 0 460508 0 Current children cumulated CPU time (s) 1418.27 Current children cumulated vsize (KiB) 1843252 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1418.81 s] /proc/loadavg: 1.00 1.00 1.00 2/107 13417 /proc/meminfo: memFree=9780/2059040 swapFree=4152912/4192956 [pid=13378] ppid=13376 vsize=0 CPUtime=1418.37 /proc/13378/stat : 13378 (wbo1.4b) R 13376 13378 12735 0 -1 4203524 461898 0 0 0 141127 710 0 0 25 0 1 0 5428691 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/13378/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1418.37 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1418.89 CPU time (s): 1418.45 CPU user time (s): 1411.28 CPU system time (s): 7.17691 CPU usage (%): 99.9696 Max. virtual memory (cumulated for all children) (KiB): 1843252 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1411.28 system time used= 7.17691 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461898 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= 2823 runsolver used 2.56861 second user time and 6.48401 second system time The end
Begin job on node035 at 2010-06-16 00:35:37 IDJOB=2655814 IDBENCH=25019 IDSOLVER=1161 FILE ID=node035/2655814-1276641337 PBS_JOBID= 11172364 Free space on /tmp= 62456 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_1.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655814-1276641337/watcher-2655814-1276641337 -o /tmp/evaluation-result-2655814-1276641337/solver-2655814-1276641337 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655814-1276641337.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a7af672db5daf9bd21f1768f531add6b RANDOM SEED=1463929017 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: 1820936 kB Buffers: 16944 kB Cached: 98204 kB SwapCached: 660 kB Active: 73052 kB Inactive: 89612 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1820936 kB SwapTotal: 4192956 kB SwapFree: 4180036 kB Dirty: 4968 kB Writeback: 0 kB AnonPages: 46832 kB Mapped: 15420 kB Slab: 53504 kB PageTables: 4036 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181652 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= 62456 MiB End job on node035 at 2010-06-16 00:59:18