Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.07 | 1800.71 |
Name | normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/ areaDelay/normalized-f20c10b_017_area_delay.opb |
MD5SUM | 11f76d5c4a01da95c686f09380ec8e85 |
Bench Category | OPT-SMALLINT-LIN (optimisation, small integers, linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 25 |
Best CPU time to get the best result obtained on this benchmark | 18.2202 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 29 |
Optimality of the best value was proved | NO |
Number of variables | 9709 |
Total number of constraints | 29891 |
Number of constraints which are clauses | 29891 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 127 |
Number of terms in the objective function | 4768 |
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 | 4768 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 2 |
Number of bits of the biggest number in a constraint | 2 |
Biggest sum of numbers in a constraint | 4768 |
Number of bits of the biggest sum of numbers | 13 |
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-2680416-1277459361.opb. 0.00/0.00 c Instance file HOME/instance-2680416-1277459361.opb 0.00/0.00 c File size is 874504 bytes. 0.10/0.14 c Highest Coefficient sum: 128 0.10/0.14 c ============================[ Problem Statistics ]============================= 0.10/0.14 c | | 0.10/0.14 c | Parsing time: 0.14 s | 0.10/0.14 c | Number Variables: 9709 | 0.10/0.14 c | Number Clauses: 29891 | 0.10/0.14 c | Number Cardinality: 0 | 0.10/0.14 c | Number PB Constraints: 0 | 0.19/0.26 c ============================[ Search Statistics ]============================== 0.19/0.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.19/0.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.19/0.26 c =============================================================================== 0.19/0.26 c | 0 | 7846 29899 69955 | 9963 0 nan | 0.000 % | 0.19/0.27 c =============================================================================== 0.19/0.27 c New solution: 34 0.19/0.27 o 34 0.19/0.27 c Elapsed CPU time: 0.26296 s Remaining CPU time: 179.737 s 0.19/0.27 c =============================================================================== 0.19/0.27 c | 0 | 7846 29900 74723 | 9966 0 nan | 0.000 % | 0.29/0.31 c =============================================================================== 0.29/0.31 c New solution: 33 0.29/0.31 o 33 0.29/0.31 c Elapsed CPU time: 0.294955 s Remaining CPU time: 179.705 s 0.29/0.31 c =============================================================================== 0.29/0.31 c | 35 | 7846 29901 79491 | 9967 35 77 | 0.000 % | 0.29/0.33 c =============================================================================== 0.29/0.33 c New solution: 32 0.29/0.33 o 32 0.29/0.33 c Elapsed CPU time: 0.312952 s Remaining CPU time: 179.687 s 0.29/0.33 c =============================================================================== 0.29/0.33 c | 66 | 7846 29902 84259 | 9967 66 45 | 0.000 % | 0.39/0.40 c | 166 | 7846 29902 84259 | 10964 166 44 | 19.189 % | 0.49/0.51 c | 316 | 7846 29902 84259 | 12060 316 45 | 19.189 % | 0.69/0.73 c | 541 | 7846 29902 84259 | 13266 541 68 | 19.189 % | 0.89/0.98 c | 878 | 7846 29902 84259 | 14593 878 55 | 19.189 % | 1.10/1.16 c =============================================================================== 1.10/1.16 c New solution: 31 1.10/1.16 o 31 1.10/1.16 c Elapsed CPU time: 1.10583 s Remaining CPU time: 178.894 s 1.10/1.16 c =============================================================================== 1.10/1.16 c | 1122 | 7846 29903 89027 | 9967 1122 49 | 19.189 % | 1.20/1.23 c | 1222 | 7846 29903 89027 | 10964 1222 48 | 19.189 % | 1.29/1.37 c | 1372 | 7846 29903 89027 | 12060 1372 48 | 19.188 % | 1.49/1.54 c | 1598 | 7846 29903 89027 | 13266 1598 47 | 19.189 % | 1.80/1.82 c | 1936 | 7846 29903 89027 | 14593 1936 49 | 19.189 % | 2.20/2.29 c | 2442 | 7846 29903 89027 | 16053 2442 47 | 19.189 % | 2.79/2.85 c | 3202 | 7846 29903 89027 | 17658 3202 55 | 19.188 % | 3.79/3.84 c | 4341 | 7846 29903 89027 | 19424 4341 56 | 19.189 % | 5.79/5.80 c | 6051 | 7846 29903 89027 | 21366 6051 55 | 19.188 % | 7.89/7.98 c | 8614 | 7846 29903 89027 | 23503 8614 56 | 19.188 % | 11.59/11.67 c | 12458 | 7846 29903 89027 | 25853 12458 52 | 19.188 % | 15.89/15.98 c | 18225 | 7846 29903 89027 | 28438 18225 73 | 19.188 % | 23.89/23.91 c | 26874 | 7846 29903 89027 | 31282 26874 73 | 19.188 % | 32.48/32.58 c =============================================================================== 32.48/32.58 c New solution: 30 32.48/32.58 o 30 32.48/32.58 c Elapsed CPU time: 32.3301 s Remaining CPU time: 147.67 s 32.48/32.58 c =============================================================================== 32.48/32.58 c | 36460 | 7846 29904 93795 | 9968 12099 63 | 19.188 % | 32.68/32.71 c | 36560 | 7846 29904 93795 | 10964 6150 61 | 19.188 % | 32.78/32.81 c | 36710 | 7846 29904 93795 | 12061 6300 61 | 19.188 % | 32.88/32.97 c | 36935 | 7846 29904 93795 | 13267 6525 59 | 19.189 % | 33.18/33.25 c | 37272 | 7846 29904 93795 | 14594 6862 59 | 19.189 % | 33.68/33.71 c | 37779 | 7846 29904 93795 | 16053 7369 58 | 19.188 % | 34.28/34.37 c | 38538 | 7846 29904 93795 | 17658 8128 58 | 19.188 % | 35.29/35.32 c | 39677 | 7846 29904 93795 | 19424 9267 60 | 19.189 % | 36.68/36.73 c | 41385 | 7846 29904 93795 | 21367 10975 59 | 19.188 % | 38.98/39.05 c | 43948 | 7846 29904 93795 | 23504 13538 60 | 19.188 % | 42.38/42.46 c | 47792 | 7846 29904 93795 | 25854 17382 60 | 19.188 % | 47.28/47.37 c | 53558 | 7846 29904 93795 | 28439 23148 60 | 19.188 % | 54.67/54.70 c | 62207 | 7846 29904 93795 | 31283 31797 66 | 19.188 % | 66.67/66.79 c | 75181 | 7846 29904 93795 | 34412 21100 72 | 19.188 % | 66.97/67.08 c =============================================================================== 66.97/67.08 c New solution: 29 66.97/67.08 o 29 66.97/67.08 c Elapsed CPU time: 66.5729 s Remaining CPU time: 113.427 s 66.97/67.08 c =============================================================================== 66.97/67.08 c | 75511 | 7846 29905 98563 | 9968 21430 71 | 19.188 % | 67.18/67.22 c | 75612 | 7846 29905 98563 | 10965 10816 67 | 19.189 % | 67.27/67.33 c | 75763 | 7846 29905 98563 | 12061 10967 67 | 19.188 % | 67.47/67.51 c | 75988 | 7846 29905 98563 | 13267 11192 67 | 19.189 % | 67.77/67.80 c | 76325 | 7846 29905 98563 | 14594 11529 66 | 19.188 % | 68.17/68.27 c | 76831 | 7846 29905 98563 | 16054 12035 65 | 19.189 % | 68.97/69.09 c | 77590 | 7846 29905 98563 | 17659 12794 65 | 19.189 % | 69.87/69.98 c | 78729 | 7846 29905 98563 | 19425 13933 65 | 19.188 % | 71.48/71.50 c | 80437 | 7846 29905 98563 | 21368 15641 65 | 19.188 % | 73.78/73.84 c | 82999 | 7846 29905 98563 | 23504 18203 63 | 19.188 % | 77.47/77.50 c | 86843 | 7846 29905 98563 | 25855 22047 66 | 19.189 % | 82.17/82.21 c | 92609 | 7846 29905 98563 | 28440 27813 67 | 19.188 % | 89.96/90.01 c | 101259 | 7846 29905 98563 | 31284 15075 72 | 19.188 % | 102.66/102.73 c | 114233 | 7846 29905 98563 | 34413 28049 75 | 19.188 % | 119.87/119.92 c | 133694 | 7846 29905 98563 | 37854 20671 68 | 19.188 % | 145.95/146.04 c | 162886 | 7846 29905 98563 | 41640 19835 78 | 19.188 % | 181.05/181.17 c There are 1863 assigned variables. 944 in cost function. 182.34/182.45 c core #1 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 71 Core Weight: 1 Total Weight: 2 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #2 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 46 Core Weight: 1 Total Weight: 3 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #3 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 71 Core Weight: 1 Total Weight: 4 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #4 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 7 Core Weight: 1 Total Weight: 5 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #5 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 71 Core Weight: 1 Total Weight: 6 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #6 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 30 Core Weight: 1 Total Weight: 7 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #7 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 31 Core Weight: 1 Total Weight: 8 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #8 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 51 Core Weight: 1 Total Weight: 9 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #9 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 30 Core Weight: 1 Total Weight: 10 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #10 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 15 Core Weight: 1 Total Weight: 11 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #11 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 15 Core Weight: 1 Total Weight: 12 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #12 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 51 Core Weight: 1 Total Weight: 13 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #13 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 31 Core Weight: 1 Total Weight: 14 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #14 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 31 Core Weight: 1 Total Weight: 15 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #15 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 31 Core Weight: 1 Total Weight: 16 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #16 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 31 Core Weight: 1 Total Weight: 17 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #17 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 51 Core Weight: 1 Total Weight: 18 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #18 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 524 Core Weight: 1 Total Weight: 19 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c core #19 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c Core size: 381 Core Weight: 1 Total Weight: 20 182.34/182.45 c 182.34/182.45 c 182.34/182.45 c ============================[ Search Statistics ]============================== 182.34/182.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.34/182.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.34/182.45 c =============================================================================== 182.34/182.45 c | 0 | 1939 30804 53771 | 10268 0 nan | 0.000 % | 182.34/182.46 c =============================================================================== 182.44/182.53 c core #20 182.44/182.53 c 182.44/182.53 c 182.44/182.53 c Core size: 120 Core Weight: 1 Total Weight: 21 182.44/182.53 c 182.44/182.53 c 182.44/182.53 c ============================[ Search Statistics ]============================== 182.44/182.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.44/182.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.44/182.53 c =============================================================================== 182.44/182.53 c | 0 | 2182 30805 54211 | 10268 0 nan | 0.000 % | 182.44/182.56 c =============================================================================== 182.54/182.63 c core #21 182.54/182.63 c 182.54/182.63 c 182.54/182.63 c Core size: 355 Core Weight: 1 Total Weight: 22 182.54/182.63 c 182.54/182.63 c 182.54/182.63 c ============================[ Search Statistics ]============================== 182.54/182.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.54/182.63 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.54/182.63 c =============================================================================== 182.54/182.63 c | 0 | 2637 30806 55487 | 10268 0 nan | 0.000 % | 182.54/182.66 c | 102 | 2637 30806 55487 | 11295 102 39 | 75.212 % | 182.54/182.70 c | 253 | 2637 30806 55487 | 12425 253 37 | 75.212 % | 182.64/182.76 c | 480 | 2637 30806 55487 | 13667 480 44 | 75.212 % | 182.73/182.87 c | 817 | 2637 30806 55487 | 15034 817 51 | 75.212 % | 182.93/183.00 c =============================================================================== 182.93/183.08 c core #22 182.93/183.08 c 182.93/183.08 c 182.93/183.08 c Core size: 870 Core Weight: 1 Total Weight: 23 182.93/183.08 c 182.93/183.08 c 182.93/183.08 c ============================[ Search Statistics ]============================== 182.93/183.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.93/183.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.93/183.08 c =============================================================================== 182.93/183.08 c | 0 | 3453 30807 57531 | 10269 0 nan | 0.000 % | 183.03/183.11 c | 100 | 3453 30807 57531 | 11295 100 48 | 69.233 % | 183.03/183.16 c | 250 | 3453 30807 57531 | 12425 250 41 | 69.233 % | 183.14/183.23 c | 478 | 3453 30807 57531 | 13668 478 60 | 69.233 % | 183.34/183.40 c | 817 | 3453 30807 57531 | 15034 817 56 | 69.233 % | 183.54/183.61 c | 1325 | 3453 30807 57531 | 16538 1325 63 | 69.233 % | 183.84/183.95 c | 2085 | 3453 30807 57531 | 18192 2085 66 | 69.233 % | 184.54/184.65 c | 3230 | 3453 30807 57531 | 20011 3230 72 | 69.233 % | 185.63/185.73 c | 4939 | 3453 30807 57531 | 22012 4939 84 | 69.233 % | 187.34/187.48 c | 7502 | 3453 30807 57531 | 24213 7502 90 | 69.233 % | 190.54/190.67 c | 11346 | 3453 30807 57531 | 26635 11346 99 | 69.233 % | 196.33/196.40 c | 17112 | 3452 30807 57531 | 29298 15419 105 | 69.242 % | 203.83/203.95 c =============================================================================== 204.33/204.49 c core #23 204.33/204.49 c 204.33/204.49 c 204.33/204.49 c Core size: 897 Core Weight: 1 Total Weight: 24 204.33/204.49 c 204.33/204.49 c 204.33/204.49 c ============================[ Search Statistics ]============================== 204.33/204.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 204.33/204.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 204.33/204.49 c =============================================================================== 204.33/204.49 c | 0 | 4166 30812 58987 | 10270 0 nan | 0.000 % | 204.43/204.53 c | 100 | 4166 30812 58987 | 11297 100 88 | 65.053 % | 204.43/204.59 c | 250 | 4166 30812 58987 | 12427 250 56 | 65.053 % | 204.54/204.68 c | 477 | 4166 30812 58987 | 13670 477 56 | 65.053 % | 204.73/204.87 c | 814 | 4166 30812 58987 | 15037 814 84 | 65.053 % | 204.93/205.08 c | 1320 | 4166 30812 58987 | 16541 1320 95 | 65.053 % | 205.33/205.40 c | 2080 | 4166 30812 58987 | 18195 2080 109 | 65.053 % | 205.93/206.06 c | 3221 | 4166 30812 58987 | 20014 3221 112 | 65.053 % | 206.93/207.08 c | 4929 | 4166 30812 58987 | 22016 4929 128 | 65.053 % | 208.83/208.91 c | 7491 | 4166 30812 58987 | 24217 7491 141 | 65.053 % | 211.63/211.75 c | 11337 | 4166 30812 58987 | 26639 11337 163 | 65.053 % | 216.33/216.48 c | 17103 | 4166 30812 58987 | 29303 17103 162 | 65.053 % | 226.93/227.08 c | 25752 | 4166 30812 58987 | 32233 25752 151 | 65.053 % | 245.92/246.05 c | 38726 | 4166 30812 58987 | 35457 38726 151 | 65.053 % | 265.81/265.98 c | 58191 | 4166 30812 58987 | 39002 28833 144 | 65.053 % | 300.10/300.21 c | 87384 | 4166 30812 58987 | 42903 25289 139 | 65.053 % | 346.59/346.71 c | 131175 | 4166 30812 58987 | 47193 32369 142 | 65.053 % | 416.27/416.43 c | 196859 | 4166 30812 58987 | 51912 17715 140 | 65.053 % | 559.23/559.43 c | 295385 | 4166 30812 58987 | 57104 28337 206 | 65.053 % | 783.46/783.73 c | 443175 | 4166 30812 58987 | 62814 31403 269 | 65.053 % | 1174.46/1174.80 c | 664859 | 4166 30812 58987 | 69095 34304 197 | 65.053 % | 1664.41/1664.91 c | 997385 | 4165 30812 58987 | 76005 55138 181 | 65.062 % |
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-2680416-1277459361/watcher-2680416-1277459361 -o /tmp/evaluation-result-2680416-1277459361/solver-2680416-1277459361 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680416-1277459361.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.96 3/106 23483 /proc/meminfo: memFree=1848016/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=4304 CPUtime=0 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 453 0 0 0 0 0 0 0 20 0 1 0 119591480 4407296 372 1992294400 134512640 135752675 4291665408 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 1076 375 134 303 0 557 0 [startup+0.105729 s] /proc/loadavg: 1.00 1.00 0.96 3/106 23483 /proc/meminfo: memFree=1848016/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=6164 CPUtime=0.1 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1029 0 0 0 10 0 0 0 20 0 1 0 119591480 6311936 947 1992294400 134512640 135752675 4291665408 18446744073709551615 134564428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 1541 947 284 303 0 1022 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 6164 [startup+0.201736 s] /proc/loadavg: 1.00 1.00 0.96 3/106 23483 /proc/meminfo: memFree=1848016/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8728 CPUtime=0.19 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1953 0 0 0 19 0 0 0 20 0 1 0 119591480 8937472 1657 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2182 1657 141 303 0 1877 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 8728 [startup+0.301744 s] /proc/loadavg: 1.00 1.00 0.96 3/106 23483 /proc/meminfo: memFree=1848016/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8728 CPUtime=0.29 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1970 0 0 0 28 1 0 0 20 0 1 0 119591480 8937472 1674 1992294400 134512640 135752675 4291665408 18446744073709551615 134605371 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2182 1674 144 303 0 1877 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 8728 [startup+0.701776 s] /proc/loadavg: 1.00 1.00 0.96 3/106 23483 /proc/meminfo: memFree=1848016/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8728 CPUtime=0.69 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1971 0 0 0 67 2 0 0 21 0 1 0 119591480 8937472 1675 1992294400 134512640 135752675 4291665408 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2182 1675 145 303 0 1877 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 8728 [startup+1.50184 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23484 /proc/meminfo: memFree=1841684/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8728 CPUtime=1.49 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1971 0 0 0 143 6 0 0 23 0 1 0 119591480 8937472 1675 1992294400 134512640 135752675 4291665408 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2182 1675 145 303 0 1877 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8728 [startup+3.10097 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23484 /proc/meminfo: memFree=1841436/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8728 CPUtime=3.09 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 1971 0 0 0 301 8 0 0 25 0 1 0 119591480 8937472 1675 1992294400 134512640 135752675 4291665408 18446744073709551615 134605387 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2182 1675 145 303 0 1877 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8728 [startup+6.30122 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23484 /proc/meminfo: memFree=1841312/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=8984 CPUtime=6.29 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 2014 0 0 0 620 9 0 0 25 0 1 0 119591480 9199616 1718 1992294400 134512640 135752675 4291665408 18446744073709551615 134605345 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2246 1718 145 303 0 1941 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 8984 [startup+12.7007 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23484 /proc/meminfo: memFree=1839080/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=11544 CPUtime=12.69 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 2653 0 0 0 1256 13 0 0 25 0 1 0 119591480 11821056 2357 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 2886 2357 145 303 0 2581 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 11544 [startup+25.5018 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23484 /proc/meminfo: memFree=1831888/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=18440 CPUtime=25.49 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 4374 0 0 0 2529 20 0 0 25 0 1 0 119591480 18882560 4078 1992294400 134512640 135752675 4291665408 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 4610 4078 145 303 0 4305 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 18440 [startup+51.1018 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23486 /proc/meminfo: memFree=1821224/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=29032 CPUtime=51.08 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 7037 0 0 0 5071 37 0 0 25 0 1 0 119591480 29728768 6741 1992294400 134512640 135752675 4291665408 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 7258 6741 145 303 0 6953 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 29032 [startup+102.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23486 /proc/meminfo: memFree=1798780/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=51152 CPUtime=102.27 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 12562 0 0 0 10157 70 0 0 25 0 1 0 119591480 52379648 12266 1992294400 134512640 135752675 4291665408 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 12788 12266 145 303 0 12483 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 51152 [startup+162.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23488 /proc/meminfo: memFree=1774228/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=75776 CPUtime=162.25 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 18711 0 0 0 16122 103 0 0 25 0 1 0 119591480 77594624 18415 1992294400 134512640 135752675 4291665408 18446744073709551615 134616086 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 18944 18415 145 303 0 18639 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 75776 [startup+222.308 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23490 /proc/meminfo: memFree=1752652/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=96744 CPUtime=222.23 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 24356 0 0 0 22087 136 0 0 25 0 1 0 119591480 99065856 23726 1992294400 134512640 135752675 4291665408 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 24186 23726 146 303 0 23881 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 96744 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23492 /proc/meminfo: memFree=1719916/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=129884 CPUtime=282.21 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 32612 0 0 0 28054 167 0 0 25 0 1 0 119591480 133001216 31982 1992294400 134512640 135752675 4291665408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 32471 31982 146 303 0 32166 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 129884 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23494 /proc/meminfo: memFree=1680236/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=169184 CPUtime=342.2 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 42441 0 0 0 34020 200 0 0 25 0 1 0 119591480 173244416 41811 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 42296 41811 146 303 0 41991 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 169184 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23494 /proc/meminfo: memFree=1635472/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=214276 CPUtime=402.18 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 53726 0 0 0 39983 235 0 0 25 0 1 0 119591480 219418624 53096 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 53569 53096 146 303 0 53264 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 214276 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23496 /proc/meminfo: memFree=1593684/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=255620 CPUtime=462.15 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 64032 0 0 0 45948 267 0 0 25 0 1 0 119591480 261754880 63402 1992294400 134512640 135752675 4291665408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 63905 63402 146 303 0 63600 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 255620 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23498 /proc/meminfo: memFree=1554004/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=295416 CPUtime=522.14 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 73973 0 0 0 51920 294 0 0 25 0 1 0 119591480 302505984 73343 1992294400 134512640 135752675 4291665408 18446744073709551615 134638038 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 73854 73343 146 303 0 73549 0 Current children cumulated CPU time (s) 522.14 Current children cumulated vsize (KiB) 295416 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23500 /proc/meminfo: memFree=1509984/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=339172 CPUtime=582.13 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 84923 0 0 0 57887 326 0 0 25 0 1 0 119591480 347312128 84293 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 84793 84293 146 303 0 84488 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 339172 [startup+642.302 s] /proc/loadavg: 1.00 1.00 0.96 2/107 23502 /proc/meminfo: memFree=1463608/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=386032 CPUtime=642.11 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 96596 0 0 0 63857 354 0 0 25 0 1 0 119591480 395296768 95966 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 96508 95966 146 303 0 96203 0 Current children cumulated CPU time (s) 642.11 Current children cumulated vsize (KiB) 386032 [startup+702.302 s] ################ # More data... # ################ /proc/loadavg: 1.12 1.04 0.97 2/107 23525 /proc/meminfo: memFree=1126700/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=721792 CPUtime=1181.95 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 180480 0 0 0 117603 592 0 0 25 0 1 0 119591480 739115008 179850 1992294400 134512640 135752675 4291665408 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 180448 179850 146 303 0 180143 0 Current children cumulated CPU time (s) 1181.95 Current children cumulated vsize (KiB) 721792 [startup+1242.3 s] /proc/loadavg: 1.04 1.03 0.97 2/107 23527 /proc/meminfo: memFree=1094708/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=753364 CPUtime=1241.94 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 188345 0 0 0 123576 618 0 0 25 0 1 0 119591480 771444736 187715 1992294400 134512640 135752675 4291665408 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 188341 187715 146 303 0 188036 0 Current children cumulated CPU time (s) 1241.94 Current children cumulated vsize (KiB) 753364 [startup+1302.3 s] /proc/loadavg: 1.01 1.02 0.97 2/107 23527 /proc/meminfo: memFree=1062716/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=785488 CPUtime=1301.91 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 196374 0 0 0 129547 644 0 0 25 0 1 0 119591480 804339712 195744 1992294400 134512640 135752675 4291665408 18446744073709551615 134639452 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 196372 195744 146 303 0 196067 0 Current children cumulated CPU time (s) 1301.91 Current children cumulated vsize (KiB) 785488 [startup+1362.3 s] /proc/loadavg: 1.00 1.02 0.97 2/107 23529 /proc/meminfo: memFree=1025020/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=823040 CPUtime=1361.9 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 205784 0 0 0 135516 674 0 0 25 0 1 0 119591480 842792960 205154 1992294400 134512640 135752675 4291665408 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 205760 205154 146 303 0 205455 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 823040 [startup+1422.3 s] /proc/loadavg: 1.00 1.01 0.97 2/107 23531 /proc/meminfo: memFree=985092/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=862736 CPUtime=1421.89 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 215670 0 0 0 141486 703 0 0 25 0 1 0 119591480 883441664 215040 1992294400 134512640 135752675 4291665408 18446744073709551615 134611588 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 215684 215040 146 303 0 215379 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 862736 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 23533 /proc/meminfo: memFree=942808/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=905372 CPUtime=1481.86 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 226317 0 0 0 147454 732 0 0 25 0 1 0 119591480 927100928 225687 1992294400 134512640 135752675 4291665408 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 226343 225687 146 303 0 226038 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 905372 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.97 2/107 23535 /proc/meminfo: memFree=902880/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=944836 CPUtime=1541.85 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 236200 0 0 0 153423 762 0 0 25 0 1 0 119591480 967512064 235570 1992294400 134512640 135752675 4291665408 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 236209 235570 146 303 0 235904 0 Current children cumulated CPU time (s) 1541.85 Current children cumulated vsize (KiB) 944836 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 23535 /proc/meminfo: memFree=866796/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=981132 CPUtime=1601.83 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 245261 0 0 0 159394 789 0 0 25 0 1 0 119591480 1004679168 244631 1992294400 134512640 135752675 4291665408 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 245283 244631 146 303 0 244978 0 Current children cumulated CPU time (s) 1601.83 Current children cumulated vsize (KiB) 981132 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.97 2/107 23537 /proc/meminfo: memFree=826992/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=1020704 CPUtime=1661.81 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 255134 0 0 0 165362 819 0 0 25 0 1 0 119591480 1045200896 254504 1992294400 134512640 135752675 4291665408 18446744073709551615 134611942 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 255176 254504 146 303 0 254871 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1020704 [startup+1722.3 s] /proc/loadavg: 1.04 1.01 0.98 2/107 23539 /proc/meminfo: memFree=807400/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=1040352 CPUtime=1721.79 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 260031 0 0 0 171337 842 0 0 25 0 1 0 119591480 1065320448 259401 1992294400 134512640 135752675 4291665408 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 260088 259401 146 303 0 259783 0 Current children cumulated CPU time (s) 1721.79 Current children cumulated vsize (KiB) 1040352 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 0.98 2/107 23541 /proc/meminfo: memFree=776400/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=1071152 CPUtime=1781.77 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 267713 0 0 0 177310 867 0 0 25 0 1 0 119591480 1096859648 267083 1992294400 134512640 135752675 4291665408 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 267788 267083 146 303 0 267483 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1071152 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.00 0.98 2/107 23541 /proc/meminfo: memFree=768340/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=1079080 CPUtime=1800.07 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 269694 0 0 0 179131 876 0 0 25 0 1 0 119591480 1104977920 269064 1992294400 134512640 135752675 4291665408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 269770 269064 146 303 0 269465 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1079080 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds ############ # WARNING: # current cumulated CPU time (0 s) is less than in the last sample (1800.07 s) # The time of a child was probably not reported to its father. # (see the two samples below) # Adding the difference (1800.07 s) to the 'lost time'. [startup+1800.6 s] /proc/loadavg: 1.01 1.00 0.98 2/107 23541 /proc/meminfo: memFree=768340/2059040 swapFree=4136400/4192956 [pid=23483] ppid=23481 vsize=1079080 CPUtime=1800.07 /proc/23483/stat : 23483 (wbo1.4b) R 23481 23483 22983 0 -1 4202496 269694 0 0 0 179131 876 0 0 25 0 1 0 119591480 1104977920 269064 1992294400 134512640 135752675 4291665408 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/23483/statm: 269770 269064 146 303 0 269465 0 Current children cumulated CPU time (s) 1800.07 Current children cumulated vsize (KiB) 1079080 [startup+1800.71 s] /proc/loadavg: 1.01 1.00 0.98 2/108 23542 /proc/meminfo: memFree=1778932/2059040 swapFree=4136400/4192956 [pid=23483] ppid=-1 vsize=0 CPUtime=0 /proc/23483/stat : -- couldn't open stat file --/proc/23483/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 # ############ Solver just ended. Dumping a history of the last processes samples [startup+1800.71 s] /proc/loadavg: 1.01 1.00 0.98 2/108 23542 /proc/meminfo: memFree=1778932/2059040 swapFree=4136400/4192956 [pid=23483] ppid=-1 vsize=0 CPUtime=0 /proc/23483/stat : -- couldn't open stat file --/proc/23483/statm: Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 23483 and gives # childrusage.ru_utime.tv_sec=1791 # childrusage.ru_utime.tv_usec=315678 # childrusage.ru_stime.tv_sec=8 # childrusage.ru_stime.tv_usec=870651 # CPU time returned by wait4() is 1800.19 # while last known CPU time is 0 # # Using CPU time of the last sample as value... # WARNING: # The CPU time of some children was not reported to their father # (probably because of a missing or aborted wait()). # This 'lost CPU time' is added to the watched process CPU time. # lost CPU time (s): 1800.07 # lost CPU user time (s): 1791.31 # lost CPU system time (s): 8.76 Real time (s): 1800.71 CPU time (s): 1800.07 CPU user time (s): 1791.31 CPU system time (s): 8.76 CPU usage (%): 99.9643 Max. virtual memory (cumulated for all children) (KiB): 1079080 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1791.32 system time used= 8.87065 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 269694 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 3272 runsolver used 2.85956 second user time and 8.62569 second system time The end
Begin job on node026 at 2010-06-25 11:49:21 IDJOB=2680416 IDBENCH=24978 IDSOLVER=1190 FILE ID=node026/2680416-1277459361 PBS_JOBID= 11188138 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-LIN/submittedPB07/manquinho/areaDelay/normalized-f20c10b_017_area_delay.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680416-1277459361/watcher-2680416-1277459361 -o /tmp/evaluation-result-2680416-1277459361/solver-2680416-1277459361 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680416-1277459361.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 11f76d5c4a01da95c686f09380ec8e85 RANDOM SEED=1692072186 node026.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.201 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.40 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.201 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.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848420 kB Buffers: 28336 kB Cached: 82952 kB SwapCached: 9012 kB Active: 48084 kB Inactive: 76648 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848420 kB SwapTotal: 4192956 kB SwapFree: 4136400 kB Dirty: 3484 kB Writeback: 0 kB AnonPages: 12080 kB Mapped: 8360 kB Slab: 63856 kB PageTables: 4176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181748 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= 62480 MiB End job on node026 at 2010-06-25 12:19:23