Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (MO) | 1394.66 | 1394.99 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/ aksoy/decomp/normalized-matrix_5x3_7.opb |
MD5SUM | 7da351a6b3346c83b923d96056c07b3e |
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 | 24 |
Best CPU time to get the best result obtained on this benchmark | 1800.44 |
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 | 12935 |
Total number of constraints | 47889 |
Number of constraints which are clauses | 47870 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 18 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 953 |
Number of terms in the objective function | 953 |
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 | 953 |
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 | 984 |
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 - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2655809-1276639859.opb. 0.00/0.00 c Instance file HOME/instance-2655809-1276639859.opb 0.00/0.00 c File size is 1413824 bytes. 0.19/0.21 c Highest Coefficient sum: 984 0.19/0.21 c ============================[ Problem Statistics ]============================= 0.19/0.21 c | | 0.19/0.21 c | Parsing time: 0.20 s | 0.19/0.21 c | Number Variables: 12935 | 0.19/0.21 c | Number Clauses: 47870 | 0.19/0.21 c | Number Cardinality: 1 | 0.19/0.21 c | Number PB Constraints: 18 | 8.99/9.05 c ============================[ Search Statistics ]============================== 8.99/9.05 c | Conflicts | ORIGINAL | LEARNT | Progress | 8.99/9.05 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 8.99/9.05 c =============================================================================== 8.99/9.05 c | 0 | 12639 48180 121060 | 15963 0 nan | 0.000 % | 8.99/9.07 c =============================================================================== 8.99/9.07 c New solution: 29 8.99/9.07 o 29 8.99/9.07 c Elapsed CPU time: 9.03962 s Remaining CPU time: 170.96 s 8.99/9.07 c =============================================================================== 8.99/9.07 c | 10 | 12639 48181 122013 | 16060 10 283 | 0.000 % | 9.09/9.10 c =============================================================================== 9.09/9.10 c New solution: 28 9.09/9.10 o 28 9.09/9.10 c Elapsed CPU time: 9.06862 s Remaining CPU time: 170.931 s 9.09/9.10 c =============================================================================== 9.09/9.10 c | 87 | 12639 48182 122966 | 16060 87 152 | 0.000 % | 9.09/9.15 c | 187 | 12639 48182 122966 | 17666 187 99 | 2.288 % | 9.18/9.21 c | 338 | 12639 48182 122966 | 19433 338 90 | 2.288 % | 9.18/9.28 c | 565 | 12639 48182 122966 | 21376 565 100 | 2.288 % | 9.39/9.40 c | 903 | 12639 48182 122966 | 23514 903 204 | 2.288 % | 9.49/9.53 c | 1411 | 12639 48182 122966 | 25865 1411 205 | 2.288 % | 9.79/9.80 c | 2170 | 12639 48182 122966 | 28452 2170 187 | 2.288 % | 10.19/10.24 c | 3311 | 12639 48182 122966 | 31297 3311 460 | 2.288 % | 10.89/10.94 c | 5024 | 12639 48182 122966 | 34427 5024 479 | 2.288 % | 11.49/11.53 c | 7586 | 12639 48182 122966 | 37870 7586 385 | 2.288 % | 13.30/13.31 c | 11431 | 12639 48182 122966 | 41657 11431 312 | 2.288 % | 15.68/15.79 c | 17198 | 12639 48182 122966 | 45822 17198 304 | 2.288 % | 16.09/16.19 c =============================================================================== 16.09/16.19 c New solution: 27 16.09/16.19 o 27 16.09/16.19 c Elapsed CPU time: 16.0666 s Remaining CPU time: 163.933 s 16.09/16.19 c =============================================================================== 16.09/16.19 c | 18824 | 12639 48183 123919 | 16061 18824 295 | 2.288 % | 16.28/16.31 c | 18926 | 12639 48183 123919 | 17667 9514 249 | 2.288 % | 16.28/16.37 c | 19076 | 12639 48183 123919 | 19433 9664 257 | 2.288 % | 16.39/16.44 c | 19301 | 12639 48183 123919 | 21377 9889 255 | 2.288 % | 16.50/16.54 c | 19638 | 12639 48183 123919 | 23514 10226 254 | 2.288 % | 16.79/16.85 c | 20147 | 12639 48183 123919 | 25866 10735 304 | 2.288 % | 16.99/17.05 c | 20908 | 12639 48183 123919 | 28453 11496 297 | 2.288 % | 17.38/17.41 c | 22049 | 12639 48183 123919 | 31298 12637 279 | 2.288 % | 18.59/18.63 c | 23757 | 12639 48183 123919 | 34428 14345 341 | 2.288 % | 19.29/19.35 c | 26320 | 12639 48183 123919 | 37870 16908 323 | 2.288 % | 22.00/22.02 c | 30164 | 12639 48183 123919 | 41658 20752 340 | 2.288 % | 24.38/24.49 c | 35932 | 12639 48183 123919 | 45823 26520 308 | 2.288 % | 37.68/37.74 c | 44581 | 12639 48183 123919 | 50406 35169 771 | 2.288 % | 42.28/42.35 c | 57557 | 12639 48183 123919 | 55446 48145 653 | 2.288 % | 74.28/74.33 c | 77020 | 12639 48183 123919 | 60991 16925 1411 | 2.288 % | 88.77/88.83 c | 106215 | 12639 48183 123919 | 67090 46120 827 | 2.288 % | 130.86/130.90 c | 150005 | 12639 48183 123919 | 73799 23552 1587 | 2.288 % | 159.56/159.62 c | 215690 | 12639 48183 123919 | 81179 16744 326 | 2.288 % | 181.95/182.02 c There are 296 assigned variables. 5 in cost function. 182.75/182.83 c core #1 182.75/182.83 c core #2 182.75/182.83 c core #3 182.75/182.83 c core #4 182.75/182.83 c core #5 182.75/182.83 c ============================[ Search Statistics ]============================== 182.75/182.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.75/182.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.75/182.84 c =============================================================================== 182.75/182.84 c | 0 | 9638 49104 123275 | 16368 0 nan | 0.000 % | 182.75/182.85 c =============================================================================== 182.85/182.96 c core #6 182.85/182.96 c ============================[ Search Statistics ]============================== 182.85/182.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.85/182.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.85/182.96 c =============================================================================== 182.85/182.96 c | 0 | 10045 49110 124081 | 16370 0 nan | 0.000 % | 182.95/183.05 c =============================================================================== 183.05/183.16 c core #7 183.05/183.16 c ============================[ Search Statistics ]============================== 183.05/183.16 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.05/183.16 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.05/183.16 c =============================================================================== 183.05/183.16 c | 0 | 13532 49117 127764 | 16372 0 nan | 0.000 % | 183.34/183.46 c | 101 | 13521 49117 127764 | 18009 100 142 | 3.580 % | 183.75/183.89 c | 251 | 13445 49117 127764 | 19810 248 444 | 4.129 % | 184.45/184.53 c | 477 | 13406 49117 127764 | 21791 441 421 | 4.400 % | 185.74/185.82 c | 816 | 13310 49117 127764 | 23970 750 466 | 5.085 % | 187.15/187.24 c | 1324 | 13063 49117 127764 | 26367 1201 467 | 7.545 % | 189.94/190.08 c | 2083 | 11644 49117 127764 | 29004 1844 470 | 19.290 % | 194.34/194.43 c | 3222 | 10651 49117 127764 | 31905 2750 658 | 24.602 % | 196.64/196.74 c =============================================================================== 196.85/196.91 c core #8 196.85/196.91 c ============================[ Search Statistics ]============================== 196.85/196.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 196.85/196.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 196.85/196.91 c =============================================================================== 196.85/196.91 c | 0 | 14827 50085 134763 | 16695 0 nan | 0.000 % | 197.04/197.19 c | 100 | 14824 50085 134763 | 18364 100 160 | 3.225 % | 197.24/197.36 c | 250 | 14823 50085 134763 | 20200 247 89 | 3.231 % | 197.45/197.51 c | 476 | 14820 50085 134763 | 22221 472 111 | 3.251 % | 198.05/198.14 c | 813 | 14819 50085 134763 | 24443 805 107 | 3.258 % | 198.64/198.77 c | 1319 | 14819 50085 134763 | 26887 1311 138 | 3.258 % | 198.94/199.07 c | 2078 | 14819 50085 134763 | 29576 2070 157 | 3.258 % | 199.64/199.73 c | 3217 | 14819 50085 134763 | 32533 3209 161 | 3.258 % | 200.54/200.69 c | 4925 | 14819 50085 134763 | 35787 4917 167 | 3.258 % | 203.04/203.12 c | 7487 | 14819 50085 134763 | 39365 7479 154 | 3.258 % | 207.54/207.66 c | 11331 | 14818 50085 134763 | 43302 11319 150 | 3.264 % | 214.54/214.61 c | 17098 | 14814 50085 134763 | 47632 8638 81 | 3.290 % | 214.84/214.96 c =============================================================================== 215.34/215.44 c core #9 215.34/215.44 c ============================[ Search Statistics ]============================== 215.34/215.44 c | Conflicts | ORIGINAL | LEARNT | Progress | 215.34/215.44 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 215.34/215.44 c =============================================================================== 215.34/215.44 c | 0 | 16078 50664 139289 | 16888 0 nan | 0.000 % | 215.64/215.79 c | 101 | 16078 50664 139289 | 18576 101 132 | 2.963 % | 215.94/216.06 c | 252 | 16078 50664 139289 | 20434 252 76 | 2.963 % | 216.14/216.29 c | 477 | 16078 50664 139289 | 22477 477 69 | 2.963 % | 216.34/216.50 c | 816 | 16078 50664 139289 | 24725 816 68 | 2.963 % | 216.64/216.71 c | 1323 | 16078 50664 139289 | 27198 1323 65 | 2.963 % | 218.04/218.12 c | 2082 | 16078 50664 139289 | 29918 2082 162 | 2.963 % | 221.33/221.44 c | 3222 | 16078 50664 139289 | 32909 3222 263 | 2.963 % | 227.13/227.24 c | 4932 | 16078 50664 139289 | 36200 4932 325 | 2.963 % | 231.84/231.91 c | 7495 | 16078 50664 139289 | 39821 7495 593 | 2.963 % | 236.45/236.60 c | 11342 | 16078 50664 139289 | 43803 11342 506 | 2.963 % | 259.83/259.90 c | 17111 | 16078 50664 139289 | 48183 17111 1157 | 2.963 % | 286.12/286.25 c | 25762 | 16078 50664 139289 | 53001 25762 918 | 2.963 % | 330.31/330.41 c | 38738 | 16078 50664 139289 | 58301 38738 776 | 2.963 % | 428.29/428.47 c | 58199 | 16078 50664 139289 | 64132 58199 728 | 2.963 % | 678.33/678.53 c | 87394 | 16078 50664 139289 | 70545 26201 3939 | 2.963 % | 914.37/914.67 c | 131183 | 16078 50664 139289 | 77599 69990 2163 | 2.963 % | 1219.11/1219.43 c | 196868 | 16078 50664 139289 | 85359 69513 1035 | 2.963 % |
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-2655809-1276639859/watcher-2655809-1276639859 -o /tmp/evaluation-result-2655809-1276639859/solver-2655809-1276639859 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655809-1276639859.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.11 1.10 1.08 3/106 3977 /proc/meminfo: memFree=1856792/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=4280 CPUtime=0 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 366 0 0 0 0 0 0 0 18 0 1 0 39589832 4382720 284 1992294400 134512640 135751879 4286915824 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 1070 284 145 303 0 419 0 [startup+0.100949 s] /proc/loadavg: 1.11 1.10 1.08 3/106 3977 /proc/meminfo: memFree=1856792/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=6152 CPUtime=0.09 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 951 0 0 0 9 0 0 0 20 0 1 0 39589832 6299648 869 1992294400 134512640 135751879 4286915824 18446744073709551615 134556416 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 1538 869 299 303 0 887 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 6152 [startup+0.200957 s] /proc/loadavg: 1.11 1.10 1.08 3/106 3977 /proc/meminfo: memFree=1856792/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=8140 CPUtime=0.19 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 1608 0 0 0 19 0 0 0 20 0 1 0 39589832 8335360 1526 1992294400 134512640 135751879 4286915824 18446744073709551615 135220874 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 2035 1526 464 303 0 1384 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8140 [startup+0.300965 s] /proc/loadavg: 1.11 1.10 1.08 3/106 3977 /proc/meminfo: memFree=1856792/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=11512 CPUtime=0.29 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 2828 0 0 0 28 1 0 0 20 0 1 0 39589832 11788288 2367 1992294400 134512640 135751879 4286915824 18446744073709551615 134524613 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 2878 2367 146 303 0 2573 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11512 [startup+0.700997 s] /proc/loadavg: 1.11 1.10 1.08 3/106 3977 /proc/meminfo: memFree=1856792/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=11908 CPUtime=0.69 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 2922 0 0 0 68 1 0 0 20 0 1 0 39589832 12193792 2461 1992294400 134512640 135751879 4286915824 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 2977 2461 146 303 0 2672 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11908 [startup+1.50106 s] /proc/loadavg: 1.11 1.10 1.08 2/107 3978 /proc/meminfo: memFree=1847112/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=12832 CPUtime=1.49 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 3151 0 0 0 148 1 0 0 23 0 1 0 39589832 13139968 2690 1992294400 134512640 135751879 4286915824 18446744073709551615 135009489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 3208 2690 146 303 0 2903 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 12832 [startup+3.10119 s] /proc/loadavg: 1.11 1.10 1.08 2/107 3978 /proc/meminfo: memFree=1845252/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=14284 CPUtime=3.09 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 3535 0 0 0 308 1 0 0 25 0 1 0 39589832 14626816 3074 1992294400 134512640 135751879 4286915824 18446744073709551615 135010175 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 3571 3074 146 303 0 3266 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14284 [startup+6.30045 s] /proc/loadavg: 1.10 1.09 1.08 2/107 3978 /proc/meminfo: memFree=1843020/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=17056 CPUtime=6.28 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 4233 0 0 0 626 2 0 0 25 0 1 0 39589832 17465344 3772 1992294400 134512640 135751879 4286915824 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 4264 3772 146 303 0 3959 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 17056 [startup+12.701 s] /proc/loadavg: 1.09 1.09 1.08 2/107 3978 /proc/meminfo: memFree=1837688/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=22072 CPUtime=12.69 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 5483 0 0 0 1261 8 0 0 25 0 1 0 39589832 22601728 5022 1992294400 134512640 135751879 4286915824 18446744073709551615 134607805 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 5518 5022 147 303 0 5213 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 22072 [startup+25.501 s] /proc/loadavg: 1.07 1.09 1.08 2/107 3978 /proc/meminfo: memFree=1795404/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=65256 CPUtime=25.48 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 16267 0 0 0 2518 30 0 0 25 0 1 0 39589832 66822144 15807 1992294400 134512640 135751879 4286915824 18446744073709551615 134642403 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 16314 15807 148 303 0 16009 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 65256 [startup+51.1011 s] /proc/loadavg: 1.05 1.08 1.07 2/107 3978 /proc/meminfo: memFree=1663716/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=196864 CPUtime=51.08 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 49185 0 0 0 5049 59 0 0 25 0 1 0 39589832 201588736 48724 1992294400 134512640 135751879 4286915824 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 49216 48724 148 303 0 48911 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 196864 [startup+102.301 s] /proc/loadavg: 1.02 1.06 1.07 2/107 3980 /proc/meminfo: memFree=1432828/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=425384 CPUtime=102.28 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 106268 0 0 0 10114 114 0 0 25 0 1 0 39589832 435593216 105807 1992294400 134512640 135751879 4286915824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 106346 105807 148 303 0 106041 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 425384 [startup+162.301 s] /proc/loadavg: 1.00 1.05 1.06 2/107 3985 /proc/meminfo: memFree=1178628/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=681640 CPUtime=162.25 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 170362 0 0 0 16049 176 0 0 25 0 1 0 39589832 697999360 169901 1992294400 134512640 135751879 4286915824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 170410 169901 148 303 0 170105 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 681640 [startup+222.308 s] /proc/loadavg: 1.00 1.04 1.06 2/107 3987 /proc/meminfo: memFree=1036772/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=819136 CPUtime=222.25 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 205314 0 0 0 21981 244 0 0 25 0 1 0 39589832 838795264 204317 1992294400 134512640 135751879 4286915824 18446744073709551615 134606389 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 204784 204317 151 303 0 204479 0 Current children cumulated CPU time (s) 222.25 Current children cumulated vsize (KiB) 819136 [startup+282.301 s] /proc/loadavg: 1.00 1.03 1.05 2/107 3987 /proc/meminfo: memFree=1036772/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=819136 CPUtime=282.22 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 205323 0 0 0 27949 273 0 0 25 0 1 0 39589832 838795264 204326 1992294400 134512640 135751879 4286915824 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 204784 204326 151 303 0 204479 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 819136 [startup+342.301 s] /proc/loadavg: 1.00 1.02 1.05 2/107 3989 /proc/meminfo: memFree=1036772/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=819136 CPUtime=342.21 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 205323 0 0 0 33926 295 0 0 25 0 1 0 39589832 838795264 204326 1992294400 134512640 135751879 4286915824 18446744073709551615 134616861 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 204784 204326 151 303 0 204479 0 Current children cumulated CPU time (s) 342.21 Current children cumulated vsize (KiB) 819136 [startup+402.301 s] /proc/loadavg: 1.00 1.02 1.04 2/107 3991 /proc/meminfo: memFree=1036772/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=819136 CPUtime=402.2 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 205323 0 0 0 39909 311 0 0 25 0 1 0 39589832 838795264 204326 1992294400 134512640 135751879 4286915824 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 204784 204326 151 303 0 204479 0 Current children cumulated CPU time (s) 402.2 Current children cumulated vsize (KiB) 819136 [startup+462.3 s] /proc/loadavg: 1.00 1.01 1.03 2/107 3993 /proc/meminfo: memFree=957908/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=899520 CPUtime=462.18 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 225398 0 0 0 45881 337 0 0 25 0 1 0 39589832 921108480 224401 1992294400 134512640 135751879 4286915824 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 224880 224401 151 303 0 224575 0 Current children cumulated CPU time (s) 462.18 Current children cumulated vsize (KiB) 899520 [startup+522.301 s] /proc/loadavg: 1.00 1.00 1.03 2/107 3995 /proc/meminfo: memFree=823988/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1034812 CPUtime=522.17 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 259245 0 0 0 51863 354 0 0 25 0 1 0 39589832 1059647488 258248 1992294400 134512640 135751879 4286915824 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 258703 258248 151 303 0 258398 0 Current children cumulated CPU time (s) 522.17 Current children cumulated vsize (KiB) 1034812 [startup+582.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 3995 /proc/meminfo: memFree=724540/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1132000 CPUtime=582.16 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 283530 0 0 0 57850 366 0 0 25 0 1 0 39589832 1159168000 282533 1992294400 134512640 135751879 4286915824 18446744073709551615 134616486 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 283000 282533 151 303 0 282695 0 Current children cumulated CPU time (s) 582.16 Current children cumulated vsize (KiB) 1132000 [startup+642.301 s] /proc/loadavg: 1.00 1.00 1.02 2/107 3997 /proc/meminfo: memFree=649148/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1208536 CPUtime=642.14 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 302665 0 0 0 63837 377 0 0 25 0 1 0 39589832 1237540864 301668 1992294400 134512640 135751879 4286915824 18446744073709551615 134616497 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 302134 301668 151 303 0 301829 0 Current children cumulated CPU time (s) 642.14 Current children cumulated vsize (KiB) 1208536 [startup+702.301 s] /proc/loadavg: 1.00 1.00 1.01 2/107 3999 /proc/meminfo: memFree=602276/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1253804 CPUtime=702.13 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 313969 0 0 0 69826 387 0 0 25 0 1 0 39589832 1283895296 312972 1992294400 134512640 135751879 4286915824 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 313451 312972 151 303 0 313146 0 Current children cumulated CPU time (s) 702.13 Current children cumulated vsize (KiB) 1253804 [startup+762.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4001 /proc/meminfo: memFree=546972/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1308652 CPUtime=762.11 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 327676 0 0 0 75809 402 0 0 25 0 1 0 39589832 1340059648 326679 1992294400 134512640 135751879 4286915824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 327163 326679 151 303 0 326858 0 Current children cumulated CPU time (s) 762.11 Current children cumulated vsize (KiB) 1308652 [startup+822.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4003 /proc/meminfo: memFree=490180/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1365440 CPUtime=822.1 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 341889 0 0 0 81790 420 0 0 25 0 1 0 39589832 1398210560 340892 1992294400 134512640 135751879 4286915824 18446744073709551615 134616516 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 341360 340892 151 303 0 341055 0 Current children cumulated CPU time (s) 822.1 Current children cumulated vsize (KiB) 1365440 [startup+882.309 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4003 /proc/meminfo: memFree=454468/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1400988 CPUtime=882.09 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 350764 0 0 0 87776 433 0 0 25 0 1 0 39589832 1434611712 349767 1992294400 134512640 135751879 4286915824 18446744073709551615 134616482 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 350247 349767 151 303 0 349942 0 Current children cumulated CPU time (s) 882.09 Current children cumulated vsize (KiB) 1400988 [startup+942.301 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4005 /proc/meminfo: memFree=385028/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1470636 CPUtime=942.07 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 368205 0 0 0 93749 458 0 0 25 0 1 0 39589832 1505931264 367208 1992294400 134512640 135751879 4286915824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 367659 367208 151 303 0 367354 0 Current children cumulated CPU time (s) 942.07 Current children cumulated vsize (KiB) 1470636 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4007 /proc/meminfo: memFree=336296/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1518804 CPUtime=1002.05 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 380236 0 0 0 99727 478 0 0 25 0 1 0 39589832 1555255296 379239 1992294400 134512640 135751879 4286915824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 379701 379239 151 303 0 379396 0 Current children cumulated CPU time (s) 1002.05 Current children cumulated vsize (KiB) 1518804 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4009 /proc/meminfo: memFree=276900/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1579960 CPUtime=1062.04 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 395492 0 0 0 105705 499 0 0 25 0 1 0 39589832 1617879040 394495 1992294400 134512640 135751879 4286915824 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 394990 394495 151 303 0 394685 0 Current children cumulated CPU time (s) 1062.04 Current children cumulated vsize (KiB) 1579960 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4011 /proc/meminfo: memFree=211304/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1643784 CPUtime=1122.03 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 411453 0 0 0 111680 523 0 0 25 0 1 0 39589832 1683234816 410456 1992294400 134512640 135751879 4286915824 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 410946 410456 151 303 0 410641 0 Current children cumulated CPU time (s) 1122.03 Current children cumulated vsize (KiB) 1643784 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4011 /proc/meminfo: memFree=155132/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1699868 CPUtime=1182.01 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 425456 0 0 0 117661 540 0 0 25 0 1 0 39589832 1740664832 424459 1992294400 134512640 135751879 4286915824 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 424967 424459 151 303 0 424662 0 Current children cumulated CPU time (s) 1182.01 Current children cumulated vsize (KiB) 1699868 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4013 /proc/meminfo: memFree=111360/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1743408 CPUtime=1242 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 436346 0 0 0 123642 558 0 0 25 0 1 0 39589832 1785249792 435349 1992294400 134512640 135751879 4286915824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 435852 435349 151 303 0 435547 0 Current children cumulated CPU time (s) 1242 Current children cumulated vsize (KiB) 1743408 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4015 /proc/meminfo: memFree=77508/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1777700 CPUtime=1301.99 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 444904 0 0 0 129627 572 0 0 25 0 1 0 39589832 1820364800 443907 1992294400 134512640 135751879 4286915824 18446744073709551615 134609924 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 444425 443907 151 303 0 444120 0 Current children cumulated CPU time (s) 1301.99 Current children cumulated vsize (KiB) 1777700 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4017 /proc/meminfo: memFree=30636/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1823924 CPUtime=1361.97 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 456457 0 0 0 135606 591 0 0 25 0 1 0 39589832 1867698176 455460 1992294400 134512640 135751879 4286915824 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 455981 455460 151 303 0 455676 0 Current children cumulated CPU time (s) 1361.97 Current children cumulated vsize (KiB) 1823924 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1394.8 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4017 /proc/meminfo: memFree=11168/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=1843268 CPUtime=1394.47 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4202496 461298 0 0 0 138849 598 0 0 25 0 1 0 39589832 1887506432 460301 1992294400 134512640 135751879 4286915824 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/3977/statm: 460817 460301 151 303 0 460512 0 Current children cumulated CPU time (s) 1394.47 Current children cumulated vsize (KiB) 1843268 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1394.92 s] /proc/loadavg: 1.00 1.00 1.00 2/107 4017 /proc/meminfo: memFree=11168/2059040 swapFree=4140244/4192956 [pid=3977] ppid=3975 vsize=0 CPUtime=1394.57 /proc/3977/stat : 3977 (wbo1.4b) R 3975 3977 3853 0 -1 4203524 461298 0 0 0 138849 608 0 0 25 0 1 0 39589832 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/3977/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1394.57 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1394.99 CPU time (s): 1394.66 CPU user time (s): 1388.5 CPU system time (s): 6.16406 CPU usage (%): 99.9765 Max. virtual memory (cumulated for all children) (KiB): 1843268 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1388.5 system time used= 6.16406 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 461298 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= 7 involuntary context switches= 1926 runsolver used 2.46362 second user time and 6.43502 second system time The end
Begin job on node003 at 2010-06-16 00:10:59 IDJOB=2655809 IDBENCH=25014 IDSOLVER=1161 FILE ID=node003/2655809-1276639859 PBS_JOBID= 11172402 Free space on /tmp= 62580 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/aksoy/decomp/normalized-matrix_5x3_7.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2655809-1276639859/watcher-2655809-1276639859 -o /tmp/evaluation-result-2655809-1276639859/solver-2655809-1276639859 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2655809-1276639859.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7da351a6b3346c83b923d96056c07b3e RANDOM SEED=489057733 node003.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.251 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.50 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.251 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1857320 kB Buffers: 17776 kB Cached: 103860 kB SwapCached: 6080 kB Active: 93532 kB Inactive: 41324 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1857320 kB SwapTotal: 4192956 kB SwapFree: 4140244 kB Dirty: 4032 kB Writeback: 0 kB AnonPages: 11748 kB Mapped: 13152 kB Slab: 44992 kB PageTables: 4008 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183624 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= 62576 MiB End job on node003 at 2010-06-16 00:34:16