Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.1 | 1800.58 |
Name | /OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/ normalized-90_rounds_5_errors.opb |
MD5SUM | 06d341d0af76f66d4946a3c264573060 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 35.6086 |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 584 |
Total number of constraints | 427 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 33 |
Number of constraints which are nor clauses,nor cardinality constraints | 394 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 34 |
Number of terms in the objective function | 182 |
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 | 182 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 18 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 182 |
Number of bits of the biggest sum of numbers | 8 |
Number of products (including duplicates) | 2406 |
Sum of products size (including duplicates) | 10572 |
Number of different products | 2406 |
Sum of products size | 10572 |
0.00/0.01 c wbo 1.4 beta - 20100517 0.00/0.01 c Parsing opb file format. File HOME/instance-2702800-1278580245.opb. 0.00/0.01 c Instance file HOME/instance-2702800-1278580245.opb 0.00/0.01 c File size is 307008 bytes. 0.00/0.05 c Highest Coefficient sum: 52 0.00/0.05 c ============================[ Problem Statistics ]============================= 0.00/0.05 c | | 0.00/0.05 c | Parsing time: 0.05 s | 0.00/0.05 c | Number Variables: 2990 | 0.00/0.05 c | Number Clauses: 2742 | 0.00/0.05 c | Number Cardinality: 501 | 0.00/0.05 c | Number PB Constraints: 2406 | 0.05/0.08 c ============================[ Search Statistics ]============================== 0.05/0.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.05/0.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.05/0.08 c =============================================================================== 0.05/0.08 c | 0 | 2274 5671 33371 | 5000 0 nan | 0.000 % | 0.09/0.10 c | 104 | 2274 5671 33371 | 5500 104 26 | 23.946 % | 0.09/0.11 c | 254 | 2274 5671 33371 | 6050 254 26 | 23.947 % | 0.09/0.12 c | 479 | 2274 5671 33371 | 6655 479 24 | 23.947 % | 0.09/0.14 c | 816 | 2274 5671 33371 | 7320 816 23 | 23.947 % | 0.29/0.39 c | 1323 | 2274 5671 33371 | 8052 1323 47 | 23.947 % | 0.39/0.46 c | 2083 | 2274 5671 33371 | 8857 2083 37 | 23.947 % | 0.69/0.72 c | 3222 | 2274 5671 33371 | 9743 3222 45 | 23.947 % | 0.89/0.93 c | 4932 | 2274 5671 33371 | 10717 4932 36 | 23.947 % | 1.49/1.53 c | 7497 | 2274 5671 33371 | 11789 7497 43 | 23.947 % | 5.68/5.71 c | 11341 | 2274 5671 33371 | 12968 11341 65 | 23.947 % | 6.19/6.29 c | 17108 | 2274 5671 33371 | 14265 10220 51 | 23.947 % | 8.09/8.10 c | 25757 | 2274 5671 33371 | 15692 11309 24 | 23.947 % | 11.68/11.78 c | 38731 | 2274 5671 33371 | 17261 16055 17 | 23.947 % | 11.78/11.89 c =============================================================================== 11.78/11.89 c New solution: 45 11.78/11.89 o 45 11.78/11.89 c Elapsed CPU time: 11.7952 s Remaining CPU time: 168.205 s 11.78/11.89 c =============================================================================== 11.78/11.89 c | 39052 | 2274 5672 33553 | 5000 16376 17 | 23.947 % | 11.99/12.03 c | 39152 | 2274 5672 33553 | 5500 4194 18 | 23.947 % | 11.99/12.05 c | 39302 | 2274 5672 33553 | 6050 4344 18 | 23.947 % | 11.99/12.08 c | 39527 | 2274 5672 33553 | 6655 4569 18 | 23.947 % | 12.09/12.11 c | 39864 | 2274 5672 33553 | 7320 4906 18 | 23.947 % | 12.09/12.16 c | 40370 | 2274 5672 33553 | 8052 5412 17 | 23.947 % | 12.18/12.24 c | 41130 | 2274 5672 33553 | 8857 6172 17 | 23.947 % | 12.29/12.36 c | 42269 | 2274 5672 33553 | 9743 7311 17 | 23.947 % | 12.49/12.57 c | 43977 | 2274 5672 33553 | 10717 9019 16 | 23.947 % | 12.59/12.63 c =============================================================================== 12.59/12.63 c New solution: 38 12.59/12.63 o 38 12.59/12.63 c Elapsed CPU time: 12.5221 s Remaining CPU time: 167.478 s 12.59/12.63 c =============================================================================== 12.59/12.63 c | 44120 | 2274 5673 33735 | 5000 9162 18 | 23.947 % | 12.59/12.68 c | 44220 | 2274 5673 33735 | 5500 4681 20 | 23.947 % | 12.69/12.73 c | 44371 | 2274 5673 33735 | 6050 4832 23 | 23.947 % | 12.69/12.79 c | 44597 | 2274 5673 33735 | 6655 5058 24 | 23.947 % | 12.89/12.96 c | 44935 | 2274 5673 33735 | 7320 5396 27 | 23.947 % | 13.09/13.12 c | 45441 | 2274 5673 33735 | 8052 5902 29 | 23.946 % | 13.09/13.16 c | 46200 | 2274 5673 33735 | 8857 6661 28 | 23.947 % | 13.69/13.77 c | 47344 | 2274 5673 33735 | 9743 7805 37 | 23.947 % | 13.89/13.91 c | 49054 | 2274 5673 33735 | 10717 9515 34 | 23.947 % | 14.88/14.95 c | 51617 | 2274 5673 33735 | 11789 6238 53 | 23.947 % | 16.88/16.92 c | 55462 | 2274 5673 33735 | 12968 10083 58 | 23.947 % | 17.98/18.04 c | 61229 | 2274 5673 33735 | 14265 8573 40 | 23.947 % | 19.59/19.69 c | 69878 | 2274 5673 33735 | 15692 9420 16 | 23.947 % | 21.79/21.87 c | 82852 | 2274 5673 33735 | 17261 14164 15 | 23.947 % | 25.89/25.94 c | 102313 | 2274 5673 33735 | 18987 15598 15 | 23.947 % | 44.48/44.53 c | 131505 | 2274 5673 33735 | 20886 15030 87 | 23.947 % | 62.58/62.67 c | 175294 | 2274 5673 33735 | 22974 11382 85 | 23.947 % | 63.87/63.95 c =============================================================================== 63.87/63.95 c New solution: 37 63.87/63.95 o 37 63.87/63.95 c Elapsed CPU time: 63.3924 s Remaining CPU time: 116.608 s 63.87/63.95 c =============================================================================== 63.87/63.95 c | 179774 | 2274 5674 33917 | 5000 15862 76 | 23.947 % | 63.97/64.06 c | 179874 | 2274 5674 33917 | 5500 4066 55 | 23.947 % | 63.97/64.08 c | 180024 | 2274 5674 33917 | 6050 4216 53 | 23.947 % | 64.08/64.11 c | 180249 | 2274 5674 33917 | 6655 4441 52 | 23.947 % | 64.08/64.15 c | 180587 | 2274 5674 33917 | 7320 4779 50 | 23.947 % | 64.18/64.20 c | 181093 | 2274 5674 33917 | 8052 5285 47 | 23.947 % | 64.18/64.27 c | 181852 | 2274 5674 33917 | 8857 6044 43 | 23.947 % | 64.28/64.40 c | 182991 | 2274 5674 33917 | 9743 7183 39 | 23.947 % | 64.47/64.59 c | 184699 | 2274 5674 33917 | 10717 8891 34 | 23.947 % | 64.88/64.94 c | 187261 | 2274 5674 33917 | 11789 11453 31 | 23.947 % | 65.88/66.00 c | 191106 | 2274 5674 33917 | 12968 8432 44 | 23.947 % | 66.88/66.93 c =============================================================================== 66.88/66.93 c New solution: 35 66.88/66.93 o 35 66.88/66.93 c Elapsed CPU time: 66.3349 s Remaining CPU time: 113.665 s 66.88/66.93 c =============================================================================== 66.88/66.93 c | 194315 | 2274 5675 34099 | 5000 11641 50 | 23.947 % | 66.88/66.98 c | 194416 | 2274 5675 34099 | 5500 3012 63 | 23.947 % | 66.88/67.00 c | 194566 | 2274 5675 34099 | 6050 3162 60 | 23.947 % | 66.98/67.02 c | 194791 | 2274 5675 34099 | 6655 3387 57 | 23.947 % | 66.98/67.06 c | 195128 | 2274 5675 34099 | 7320 3724 54 | 23.947 % | 67.08/67.15 c | 195634 | 2274 5675 34099 | 8052 4230 49 | 23.947 % | 67.37/67.41 c | 196394 | 2274 5675 34099 | 8857 4990 72 | 23.947 % | 67.87/67.96 c | 197534 | 2274 5675 34099 | 9743 6130 81 | 23.947 % | 68.18/68.26 c | 199242 | 2274 5675 34099 | 10717 7838 70 | 23.947 % | 69.18/69.26 c | 201804 | 2274 5675 34099 | 11789 10400 70 | 23.947 % | 70.28/70.30 c | 205649 | 2274 5675 34099 | 12968 7965 48 | 23.947 % | 71.27/71.33 c | 211417 | 2274 5675 34099 | 14265 13733 39 | 23.947 % | 73.58/73.69 c | 220067 | 2274 5675 34099 | 15692 14179 60 | 23.947 % | 79.47/79.59 c | 233042 | 2274 5675 34099 | 17261 10553 81 | 23.947 % | 84.87/84.93 c | 252505 | 2274 5675 34099 | 18987 11955 18 | 23.947 % | 92.76/92.83 c | 281697 | 2274 5675 34099 | 20886 20160 68 | 23.947 % | 120.36/120.44 c | 325486 | 2274 5675 34099 | 22974 18732 76 | 23.947 % | 155.45/155.59 c | 391173 | 2274 5675 34099 | 25272 16418 70 | 23.947 % | 181.35/181.47 c There are 716 assigned variables. 0 in cost function. 181.74/181.88 c core #1 181.74/181.88 c ============================[ Search Statistics ]============================== 181.74/181.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.74/181.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.74/181.88 c =============================================================================== 181.74/181.88 c | 0 | 2106 5233 28267 | 5000 0 nan | 0.000 % | 181.74/181.89 c =============================================================================== 181.84/181.91 c core #2 181.84/181.91 c ============================[ Search Statistics ]============================== 181.84/181.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.91 c =============================================================================== 181.84/181.91 c | 0 | 2137 5234 28317 | 5000 0 nan | 0.000 % | 181.84/181.93 c =============================================================================== 181.84/181.96 c core #3 181.84/181.96 c ============================[ Search Statistics ]============================== 181.84/181.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.84/181.96 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.84/181.96 c =============================================================================== 181.84/181.96 c | 0 | 2210 5235 29346 | 5000 0 nan | 0.000 % | 181.84/181.98 c | 103 | 2210 5235 29346 | 5500 103 22 | 27.825 % | 181.94/182.01 c | 254 | 2210 5235 29346 | 6050 254 19 | 27.825 % | 181.94/182.05 c | 479 | 2210 5235 29346 | 6655 479 20 | 27.825 % | 182.04/182.11 c | 816 | 2210 5235 29346 | 7320 816 22 | 27.825 % | 182.15/182.20 c | 1323 | 2210 5235 29346 | 8052 1323 22 | 27.825 % | 182.24/182.34 c | 2082 | 2210 5235 29346 | 8857 2082 23 | 27.825 % | 182.45/182.60 c | 3221 | 2208 5235 29346 | 9743 537 16 | 28.054 % | 182.64/182.72 c =============================================================================== 182.64/182.76 c core #4 182.64/182.76 c ============================[ Search Statistics ]============================== 182.64/182.76 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.64/182.76 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.64/182.76 c =============================================================================== 182.64/182.76 c | 0 | 2364 5236 29600 | 5000 0 nan | 0.000 % | 182.64/182.79 c | 102 | 2364 5236 29600 | 5500 102 31 | 25.237 % | 182.74/182.82 c | 252 | 2364 5236 29600 | 6050 252 24 | 25.238 % | 182.74/182.85 c | 478 | 2364 5236 29600 | 6655 478 22 | 25.238 % | 182.85/182.90 c | 817 | 2364 5236 29600 | 7320 817 20 | 25.238 % | 182.85/182.97 c | 1325 | 2364 5236 29600 | 8052 1325 21 | 25.237 % | 182.95/183.08 c | 2085 | 2364 5236 29600 | 8857 2085 22 | 25.238 % | 183.24/183.36 c | 3224 | 2364 5236 29600 | 9743 3224 22 | 25.237 % | 183.65/183.79 c | 4932 | 2364 5236 29600 | 10717 4932 22 | 25.237 % | 184.15/184.25 c | 7494 | 2364 5236 29600 | 11789 7494 24 | 25.237 % | 184.84/184.98 c | 11338 | 2364 5236 29600 | 12968 11338 24 | 25.237 % | 186.74/186.86 c | 17106 | 2364 5236 29600 | 14265 10197 26 | 25.237 % | 189.94/190.01 c | 25755 | 2364 5236 29600 | 15692 11289 29 | 25.237 % | 194.65/194.79 c | 38730 | 2364 5236 29600 | 17261 15994 29 | 25.237 % | 202.44/202.54 c | 58191 | 2364 5236 29600 | 18987 17341 29 | 25.237 % | 210.83/210.93 c | 87383 | 2364 5236 29600 | 20886 16778 30 | 25.237 % | 222.74/222.89 c | 131172 | 2364 5236 29600 | 22974 16320 25 | 25.237 % | 245.73/245.85 c | 196859 | 2364 5236 29600 | 25272 17306 31 | 25.237 % | 274.93/275.09 c | 295386 | 2364 5236 29600 | 27799 24276 28 | 25.237 % | 334.31/334.43 c | 443179 | 2364 5236 29600 | 30579 12746 27 | 25.237 % | 409.58/409.74 c | 664864 | 2364 5236 29600 | 33637 30496 28 | 25.237 % | 542.35/542.55 c | 997389 | 2364 5236 29600 | 37001 12683 28 | 25.237 % | 809.18/809.48 c | 1496177 | 2364 5236 29600 | 40701 32236 27 | 25.237 % | 1187.27/1187.67 c | 2244359 | 2364 5236 29600 | 44771 24630 28 | 25.237 % | 1785.83/1786.35 c | 3366634 | 2364 5236 29600 | 49248 18073 27 | 25.237 % |
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-2702800-1278580245/watcher-2702800-1278580245 -o /tmp/evaluation-result-2702800-1278580245/solver-2702800-1278580245 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702800-1278580245.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.99 0.96 0.91 3/106 30997 /proc/meminfo: memFree=1717248/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=3424 CPUtime=0 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 422 0 0 0 0 0 0 0 19 0 1 0 26232182 3506176 340 1992294400 134512640 135751879 4289982816 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 856 340 144 303 0 476 0 [startup+0.0582501 s] /proc/loadavg: 0.99 0.96 0.91 3/106 30997 /proc/meminfo: memFree=1717248/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=4344 CPUtime=0.05 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 786 0 0 0 5 0 0 0 19 0 1 0 26232182 4448256 629 1992294400 134512640 135751879 4289982816 18446744073709551615 134581059 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1086 629 145 303 0 781 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 4344 [startup+0.101254 s] /proc/loadavg: 0.99 0.96 0.91 3/106 30997 /proc/meminfo: memFree=1717248/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=4476 CPUtime=0.09 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 812 0 0 0 9 0 0 0 20 0 1 0 26232182 4583424 655 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1119 655 146 303 0 814 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 4476 [startup+0.300276 s] /proc/loadavg: 0.99 0.96 0.91 3/106 30997 /proc/meminfo: memFree=1717248/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=4476 CPUtime=0.29 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 817 0 0 0 29 0 0 0 20 0 1 0 26232182 4583424 660 1992294400 134512640 135751879 4289982816 18446744073709551615 134620495 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1119 660 147 303 0 814 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4476 [startup+0.70032 s] /proc/loadavg: 0.99 0.96 0.91 3/106 30997 /proc/meminfo: memFree=1717248/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=4876 CPUtime=0.69 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 926 0 0 0 69 0 0 0 20 0 1 0 26232182 4993024 769 1992294400 134512640 135751879 4289982816 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1219 769 147 303 0 914 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4876 [startup+1.50041 s] /proc/loadavg: 0.99 0.96 0.91 2/107 30998 /proc/meminfo: memFree=1714512/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=6060 CPUtime=1.49 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 1212 0 0 0 148 1 0 0 22 0 1 0 26232182 6205440 1055 1992294400 134512640 135751879 4289982816 18446744073709551615 134606459 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1515 1055 147 303 0 1210 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6060 [startup+3.10058 s] /proc/loadavg: 0.99 0.96 0.91 2/107 30998 /proc/meminfo: memFree=1713148/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=6976 CPUtime=3.09 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 1437 0 0 0 307 2 0 0 25 0 1 0 26232182 7143424 1280 1992294400 134512640 135751879 4289982816 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 1744 1280 147 303 0 1439 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 6976 [startup+6.30093 s] /proc/loadavg: 0.99 0.96 0.91 2/107 30998 /proc/meminfo: memFree=1711420/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=9120 CPUtime=6.28 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 1978 0 0 0 624 4 0 0 25 0 1 0 26232182 9338880 1821 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 2280 1821 148 303 0 1975 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 9120 [startup+12.7016 s] /proc/loadavg: 0.99 0.96 0.91 2/107 30998 /proc/meminfo: memFree=1706708/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=13620 CPUtime=12.69 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 3105 0 0 0 1259 10 0 0 25 0 1 0 26232182 13946880 2948 1992294400 134512640 135751879 4289982816 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 3405 2948 148 303 0 3100 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 13620 [startup+25.501 s] /proc/loadavg: 0.99 0.97 0.91 2/107 30998 /proc/meminfo: memFree=1696044/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=23736 CPUtime=25.49 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 5637 0 0 0 2523 26 0 0 25 0 1 0 26232182 24305664 5480 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 5934 5480 148 303 0 5629 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 23736 [startup+51.1008 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31000 /proc/meminfo: memFree=1674344/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=45660 CPUtime=51.08 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 11093 0 0 0 5064 44 0 0 25 0 1 0 26232182 46755840 10936 1992294400 134512640 135751879 4289982816 18446744073709551615 134616876 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 11415 10936 148 303 0 11110 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45660 [startup+102.307 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31000 /proc/meminfo: memFree=1622760/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=96556 CPUtime=102.27 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 23813 0 0 0 10135 92 0 0 25 0 1 0 26232182 98873344 23656 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 24139 23656 148 303 0 23834 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 96556 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31002 /proc/meminfo: memFree=1579980/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=139340 CPUtime=162.25 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 34519 0 0 0 16094 131 0 0 25 0 1 0 26232182 142684160 34362 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 34835 34362 148 303 0 34530 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 139340 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31004 /proc/meminfo: memFree=1565224/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=153760 CPUtime=222.23 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 38141 0 0 0 22047 176 0 0 25 0 1 0 26232182 157450240 37984 1992294400 134512640 135751879 4289982816 18446744073709551615 134616407 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 38440 37984 151 303 0 38135 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 153760 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31006 /proc/meminfo: memFree=1537820/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=181444 CPUtime=282.22 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 45019 0 0 0 27990 232 0 0 25 0 1 0 26232182 185798656 44862 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 45361 44862 151 303 0 45056 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 181444 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31008 /proc/meminfo: memFree=1513640/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=205356 CPUtime=342.2 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 50975 0 0 0 33947 273 0 0 25 0 1 0 26232182 210284544 50818 1992294400 134512640 135751879 4289982816 18446744073709551615 134602436 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 51339 50818 151 303 0 51034 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 205356 [startup+402.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31008 /proc/meminfo: memFree=1480036/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=239272 CPUtime=402.19 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 59443 0 0 0 39892 327 0 0 25 0 1 0 26232182 245014528 59286 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 59818 59286 151 303 0 59513 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 239272 [startup+462.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31010 /proc/meminfo: memFree=1452880/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=266328 CPUtime=462.17 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 66213 0 0 0 45844 373 0 0 25 0 1 0 26232182 272719872 66056 1992294400 134512640 135751879 4289982816 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 66582 66056 151 303 0 66277 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 266328 [startup+522.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 31012 /proc/meminfo: memFree=1423616/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=295560 CPUtime=522.15 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 73515 0 0 0 51794 421 0 0 25 0 1 0 26232182 302653440 73358 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 73890 73358 151 303 0 73585 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 295560 [startup+582.301 s] /proc/loadavg: 1.03 0.99 0.91 2/107 31017 /proc/meminfo: memFree=1402288/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=316152 CPUtime=582.14 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 78659 0 0 0 57755 459 0 0 25 0 1 0 26232182 323739648 78502 1992294400 134512640 135751879 4289982816 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 79038 78502 151 303 0 78733 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 316152 [startup+642.301 s] /proc/loadavg: 1.01 0.99 0.91 2/107 31019 /proc/meminfo: memFree=1381580/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=336544 CPUtime=642.13 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 83730 0 0 0 63719 494 0 0 25 0 1 0 26232182 344621056 83573 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 84136 83573 151 303 0 83831 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 336544 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31025 /proc/meminfo: memFree=1296268/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=421712 CPUtime=882.06 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 105028 0 0 0 87564 642 0 0 25 0 1 0 26232182 431833088 104871 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 105428 104871 151 303 0 105123 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 421712 [startup+942.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31027 /proc/meminfo: memFree=1274692/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=443540 CPUtime=942.04 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 110455 0 0 0 93521 683 0 0 25 0 1 0 26232182 454184960 110298 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 110885 110298 151 303 0 110580 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 443540 [startup+1002.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31027 /proc/meminfo: memFree=1251380/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=466700 CPUtime=1002.03 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 116227 0 0 0 99479 724 0 0 25 0 1 0 26232182 477900800 116070 1992294400 134512640 135751879 4289982816 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 116675 116070 151 303 0 116370 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 466700 [startup+1062.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31029 /proc/meminfo: memFree=1229308/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=488752 CPUtime=1062.01 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 121736 0 0 0 105437 764 0 0 25 0 1 0 26232182 500482048 121579 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 122188 121579 151 303 0 121883 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 488752 [startup+1122.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31031 /proc/meminfo: memFree=1205996/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=511812 CPUtime=1122 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 127507 0 0 0 111396 804 0 0 25 0 1 0 26232182 524095488 127350 1992294400 134512640 135751879 4289982816 18446744073709551615 134602986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 127953 127350 151 303 0 127648 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 511812 [startup+1182.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31033 /proc/meminfo: memFree=1184172/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=533828 CPUtime=1181.97 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 133009 0 0 0 117354 843 0 0 25 0 1 0 26232182 546639872 132852 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 133457 132852 151 303 0 133152 0 Current children cumulated CPU time (s) 1181.97 Current children cumulated vsize (KiB) 533828 [startup+1242.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31035 /proc/meminfo: memFree=1162844/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=555044 CPUtime=1241.96 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 138321 0 0 0 123313 883 0 0 25 0 1 0 26232182 568365056 138164 1992294400 134512640 135751879 4289982816 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 138761 138164 151 303 0 138456 0 Current children cumulated CPU time (s) 1241.96 Current children cumulated vsize (KiB) 555044 [startup+1302.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31035 /proc/meminfo: memFree=1140896/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=576608 CPUtime=1301.95 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 143738 0 0 0 129272 923 0 0 25 0 1 0 26232182 590446592 143581 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 144152 143581 151 303 0 143847 0 Current children cumulated CPU time (s) 1301.95 Current children cumulated vsize (KiB) 576608 [startup+1362.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31037 /proc/meminfo: memFree=1120932/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=597040 CPUtime=1361.93 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 148822 0 0 0 135233 960 0 0 25 0 1 0 26232182 611368960 148665 1992294400 134512640 135751879 4289982816 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 149260 148665 151 303 0 148955 0 Current children cumulated CPU time (s) 1361.93 Current children cumulated vsize (KiB) 597040 [startup+1422.31 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31039 /proc/meminfo: memFree=1096752/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=620856 CPUtime=1421.92 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 154770 0 0 0 141189 1003 0 0 25 0 1 0 26232182 635756544 154613 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 155214 154613 151 303 0 154909 0 Current children cumulated CPU time (s) 1421.92 Current children cumulated vsize (KiB) 620856 [startup+1482.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31041 /proc/meminfo: memFree=1075052/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=642820 CPUtime=1481.9 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 160242 0 0 0 147147 1043 0 0 25 0 1 0 26232182 658247680 160085 1992294400 134512640 135751879 4289982816 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 160705 160085 151 303 0 160400 0 Current children cumulated CPU time (s) 1481.9 Current children cumulated vsize (KiB) 642820 [startup+1542.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31043 /proc/meminfo: memFree=1054344/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=663200 CPUtime=1541.88 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 165332 0 0 0 153110 1078 0 0 25 0 1 0 26232182 679116800 165175 1992294400 134512640 135751879 4289982816 18446744073709551615 134606234 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 165800 165175 151 303 0 165495 0 Current children cumulated CPU time (s) 1541.88 Current children cumulated vsize (KiB) 663200 [startup+1602.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31043 /proc/meminfo: memFree=1033884/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=684040 CPUtime=1601.87 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 170532 0 0 0 159069 1118 0 0 25 0 1 0 26232182 700456960 170375 1992294400 134512640 135751879 4289982816 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 171010 170375 151 303 0 170705 0 Current children cumulated CPU time (s) 1601.87 Current children cumulated vsize (KiB) 684040 [startup+1662.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31045 /proc/meminfo: memFree=1011316/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=706204 CPUtime=1661.85 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 176076 0 0 0 165029 1156 0 0 25 0 1 0 26232182 723152896 175919 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 176551 175919 151 303 0 176246 0 Current children cumulated CPU time (s) 1661.85 Current children cumulated vsize (KiB) 706204 [startup+1722.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31047 /proc/meminfo: memFree=993956/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=723460 CPUtime=1721.84 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 180399 0 0 0 170995 1189 0 0 25 0 1 0 26232182 740823040 180242 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 180865 180242 151 303 0 180560 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 723460 [startup+1782.3 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31049 /proc/meminfo: memFree=980316/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=736828 CPUtime=1781.82 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 183728 0 0 0 176967 1215 0 0 25 0 1 0 26232182 754511872 183571 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 184207 183571 151 303 0 183902 0 Current children cumulated CPU time (s) 1781.82 Current children cumulated vsize (KiB) 736828 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31049 /proc/meminfo: memFree=975232/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=741840 CPUtime=1800.02 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 184975 0 0 0 178777 1225 0 0 25 0 1 0 26232182 759644160 184818 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 185460 184818 151 303 0 185155 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 741840 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.5 s] /proc/loadavg: 1.00 0.99 0.91 2/107 31049 /proc/meminfo: memFree=975232/2059040 swapFree=4135624/4192956 [pid=30997] ppid=30995 vsize=741840 CPUtime=1800.02 /proc/30997/stat : 30997 (wbo1.4b) R 30995 30997 30157 0 -1 4202496 184975 0 0 0 178777 1225 0 0 25 0 1 0 26232182 759644160 184818 1992294400 134512640 135751879 4289982816 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/30997/statm: 185460 184818 151 303 0 185155 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 741840 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.58 CPU time (s): 1800.1 CPU user time (s): 1787.78 CPU system time (s): 12.3241 CPU usage (%): 99.9735 Max. virtual memory (cumulated for all children) (KiB): 741840 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.78 system time used= 12.3241 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 184975 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= 5 involuntary context switches= 3085 runsolver used 3.10253 second user time and 8.38373 second system time The end
Begin job on node038 at 2010-07-08 11:10:45 IDJOB=2702800 IDBENCH=72484 IDSOLVER=1161 FILE ID=node038/2702800-1278580245 PBS_JOBID= 11240086 Free space on /tmp= 62540 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB10/normalized-PB10/OPT-SMALLINT-NLC/oren/keeloq_tasca_instances/normalized-90_rounds_5_errors.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702800-1278580245/watcher-2702800-1278580245 -o /tmp/evaluation-result-2702800-1278580245/solver-2702800-1278580245 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702800-1278580245.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 06d341d0af76f66d4946a3c264573060 RANDOM SEED=673479575 node038.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.215 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.215 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: 1718272 kB Buffers: 40228 kB Cached: 200136 kB SwapCached: 11668 kB Active: 75900 kB Inactive: 179444 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1718272 kB SwapTotal: 4192956 kB SwapFree: 4135624 kB Dirty: 2712 kB Writeback: 0 kB AnonPages: 12208 kB Mapped: 8444 kB Slab: 63420 kB PageTables: 4184 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 181320 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702800-1278580245.opb Free space on /tmp at the end= 62536 MiB End job on node038 at 2010-07-08 11:40:48