Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.28 | 1800.8 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_300_10_14.r.opb |
MD5SUM | f1b978cb920387bc2a07b8b1a528a68d |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 19 |
Best CPU time to get the best result obtained on this benchmark | 0.675896 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 19 |
Optimality of the best value was proved | YES |
Number of variables | 297 |
Total number of constraints | 100 |
Number of constraints which are clauses | 100 |
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 | 10 |
Maximum length of a constraint | 14 |
Number of terms in the objective function | 297 |
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 | 297 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 297 |
Number of bits of the biggest sum of numbers | 9 |
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-2680893-1277457122.opb. 0.00/0.00 c Instance file HOME/instance-2680893-1277457122.opb 0.00/0.00 c File size is 12077 bytes. 0.00/0.00 c Highest Coefficient sum: 15 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 297 | 0.00/0.00 c | Number Clauses: 100 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 297 100 1176 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 32 0.00/0.00 o 32 0.00/0.00 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 297 101 1473 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 31 0.00/0.00 o 31 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 33 | 297 102 1770 | 5000 33 54 | 0.000 % | 0.00/0.01 c | 134 | 297 102 1770 | 5500 134 58 | 0.001 % | 0.00/0.01 c | 285 | 297 102 1770 | 6050 285 56 | 0.001 % | 0.01/0.03 c | 511 | 297 102 1770 | 6655 511 53 | 0.001 % | 0.01/0.04 c | 848 | 297 102 1770 | 7320 848 51 | 0.001 % | 0.01/0.07 c | 1354 | 297 102 1770 | 8052 1354 52 | 0.001 % | 0.09/0.12 c | 2113 | 297 102 1770 | 8857 2113 52 | 0.001 % | 0.09/0.19 c | 3253 | 297 102 1770 | 9743 3253 53 | 0.001 % | 0.29/0.30 c | 4961 | 297 102 1770 | 10717 4961 54 | 0.001 % | 0.39/0.46 c | 7523 | 297 102 1770 | 11789 7523 53 | 0.001 % | 0.69/0.76 c | 11367 | 297 102 1770 | 12968 11367 53 | 0.001 % | 1.29/1.30 c | 17133 | 297 102 1770 | 14265 10546 56 | 0.001 % | 2.10/2.12 c | 25783 | 297 102 1770 | 15692 11962 52 | 0.001 % | 3.39/3.49 c | 38757 | 297 102 1770 | 17261 9023 60 | 0.001 % | 5.50/5.52 c | 58218 | 297 102 1770 | 18987 11007 59 | 0.001 % | 9.39/9.47 c | 87410 | 297 102 1770 | 20886 11391 61 | 0.001 % | 15.19/15.20 c | 131200 | 297 102 1770 | 22974 12974 51 | 0.001 % | 25.88/25.95 c | 196884 | 297 102 1770 | 25272 18614 58 | 0.001 % | 41.28/41.30 c | 295411 | 297 102 1770 | 27799 17049 53 | 0.001 % | 66.56/66.63 c | 443200 | 297 102 1770 | 30579 14525 50 | 0.001 % | 103.26/103.37 c | 664884 | 297 102 1770 | 33637 20874 52 | 0.001 % | 166.34/166.44 c | 997409 | 297 102 1770 | 37001 19614 50 | 0.001 % | 183.23/183.32 c There are 0 assigned variables. 0 in cost function. 184.43/184.53 c core #1 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 14 Core Weight: 1 Total Weight: 1 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #2 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 15 Core Weight: 1 Total Weight: 2 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #3 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 15 Core Weight: 1 Total Weight: 3 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #4 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 15 Core Weight: 1 Total Weight: 4 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #5 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 11 Core Weight: 1 Total Weight: 5 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #6 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 13 Core Weight: 1 Total Weight: 6 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #7 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 11 Core Weight: 1 Total Weight: 7 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #8 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 26 Core Weight: 1 Total Weight: 8 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c core #9 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c Core size: 24 Core Weight: 1 Total Weight: 9 184.43/184.53 c 184.43/184.53 c 184.43/184.53 c ============================[ Search Statistics ]============================== 184.43/184.53 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.53 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.53 c =============================================================================== 184.43/184.53 c | 0 | 255 408 2156 | 5000 0 nan | 0.000 % | 184.43/184.53 c =============================================================================== 184.43/184.54 c core #10 184.43/184.54 c 184.43/184.54 c 184.43/184.54 c Core size: 106 Core Weight: 1 Total Weight: 10 184.43/184.54 c 184.43/184.54 c 184.43/184.54 c ============================[ Search Statistics ]============================== 184.43/184.54 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.54 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.54 c =============================================================================== 184.43/184.54 c | 0 | 427 409 2426 | 5000 0 nan | 0.000 % | 184.43/184.54 c | 101 | 427 409 2426 | 5500 101 72 | 18.822 % | 184.43/184.56 c | 261 | 427 409 2426 | 6050 261 57 | 18.822 % | 184.43/184.57 c =============================================================================== 184.43/184.58 c core #11 184.43/184.58 c 184.43/184.58 c 184.43/184.58 c Core size: 269 Core Weight: 1 Total Weight: 11 184.43/184.58 c 184.43/184.58 c 184.43/184.58 c ============================[ Search Statistics ]============================== 184.43/184.58 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.58 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.58 c =============================================================================== 184.43/184.58 c | 0 | 758 410 3014 | 5000 0 nan | 0.000 % | 184.43/184.59 c | 101 | 758 410 3014 | 5500 101 90 | 3.193 % | 184.54/184.61 c | 251 | 758 410 3014 | 6050 251 92 | 3.193 % | 184.54/184.65 c | 478 | 758 410 3014 | 6655 478 98 | 3.193 % | 184.65/184.73 c | 818 | 758 410 3014 | 7320 818 98 | 3.193 % | 184.74/184.86 c | 1325 | 758 410 3014 | 8052 1325 94 | 3.193 % | 184.94/185.04 c | 2085 | 758 410 3014 | 8857 2085 94 | 3.193 % | 185.24/185.39 c | 3225 | 758 410 3014 | 9743 3225 90 | 3.193 % | 185.84/185.96 c | 4933 | 758 410 3014 | 10717 4933 81 | 3.193 % | 186.63/186.76 c | 7495 | 758 410 3014 | 11789 7495 78 | 3.193 % | 188.23/188.39 c | 11341 | 758 410 3014 | 12968 11341 81 | 3.193 % | 190.63/190.77 c | 17107 | 758 410 3014 | 14265 10531 85 | 3.193 % | 191.63/191.79 c =============================================================================== 191.93/192.03 c core #12 191.93/192.03 c 191.93/192.03 c 191.93/192.03 c Core size: 281 Core Weight: 1 Total Weight: 12 191.93/192.03 c 191.93/192.03 c 191.93/192.03 c ============================[ Search Statistics ]============================== 191.93/192.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 191.93/192.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 191.93/192.03 c =============================================================================== 191.93/192.03 c | 0 | 1050 411 3582 | 5000 0 nan | 0.000 % | 191.93/192.05 c | 103 | 1050 411 3582 | 5500 103 212 | 0.850 % | 191.93/192.07 c | 254 | 1050 411 3582 | 6050 254 148 | 0.850 % | 192.03/192.11 c | 479 | 1050 411 3582 | 6655 479 121 | 0.850 % | 192.03/192.16 c | 817 | 1050 411 3582 | 7320 817 99 | 0.850 % | 192.14/192.27 c | 1323 | 1050 411 3582 | 8052 1323 107 | 0.850 % | 192.34/192.42 c | 2083 | 1050 411 3582 | 8857 2083 99 | 0.850 % | 192.64/192.71 c | 3223 | 1050 411 3582 | 9743 3223 98 | 0.850 % | 193.03/193.14 c | 4932 | 1050 411 3582 | 10717 4932 94 | 0.850 % | 193.63/193.74 c | 7494 | 1050 411 3582 | 11789 7494 88 | 0.850 % | 194.84/194.94 c | 11339 | 1050 411 3582 | 12968 11339 88 | 0.850 % | 197.54/197.63 c | 17108 | 1050 411 3582 | 14265 10517 111 | 0.850 % | 201.63/201.71 c | 25762 | 1050 411 3582 | 15692 11960 102 | 0.850 % | 207.73/207.85 c | 38738 | 1050 411 3582 | 17261 9051 120 | 0.850 % | 216.13/216.24 c | 58199 | 1050 411 3582 | 18987 11170 124 | 0.850 % | 231.72/231.89 c | 87393 | 1050 411 3582 | 20886 11349 151 | 0.850 % | 257.51/257.66 c | 131182 | 1050 411 3582 | 22974 12757 144 | 0.850 % | 299.71/299.82 c | 196871 | 1050 411 3582 | 25272 19988 179 | 0.850 % | 378.09/378.29 c | 295397 | 1050 411 3582 | 27799 12993 185 | 0.850 % | 499.65/499.87 c | 443187 | 1050 411 3582 | 30579 26973 173 | 0.850 % | 725.79/726.07 c | 664871 | 1050 411 3582 | 33637 17360 162 | 0.850 % | 1052.39/1052.71 c | 997399 | 1050 411 3582 | 37001 18033 219 | 0.850 % | 1335.31/1335.74 c =============================================================================== 1366.40/1366.87 c core #13 1366.40/1366.87 c 1366.40/1366.87 c 1366.40/1366.87 c Core size: 299 Core Weight: 1 Total Weight: 13 1366.40/1366.87 c 1366.40/1366.87 c 1366.40/1366.87 c ============================[ Search Statistics ]============================== 1366.40/1366.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 1366.40/1366.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 1366.40/1366.87 c =============================================================================== 1366.40/1366.87 c | 0 | 1353 412 4180 | 5000 0 nan | 0.000 % | 1366.69/1367.16 c | 108 | 1353 412 4180 | 5500 108 230 | 0.074 % | 1366.80/1367.21 c | 259 | 1353 412 4180 | 6050 259 150 | 0.074 % | 1366.80/1367.24 c | 485 | 1353 412 4180 | 6655 485 114 | 0.074 % | 1366.80/1367.30 c | 822 | 1353 412 4180 | 7320 822 97 | 0.074 % | 1366.90/1367.39 c | 1329 | 1353 412 4180 | 8052 1329 108 | 0.074 % | 1367.09/1367.53 c | 2088 | 1353 412 4180 | 8857 2088 112 | 0.074 % | 1367.40/1367.80 c | 3227 | 1353 412 4180 | 9743 3227 109 | 0.074 % | 1367.79/1368.26 c | 4938 | 1353 412 4180 | 10717 4938 108 | 0.074 % | 1368.59/1369.05 c | 7500 | 1353 412 4180 | 11789 7500 118 | 0.074 % | 1370.39/1370.83 c | 11344 | 1353 412 4180 | 12968 11344 127 | 0.074 % | 1373.90/1374.39 c | 17110 | 1353 412 4180 | 14265 10503 154 | 0.074 % | 1377.80/1378.29 c | 25759 | 1353 412 4180 | 15692 12006 148 | 0.074 % | 1385.69/1386.15 c | 38733 | 1353 412 4180 | 17261 9205 166 | 0.074 % | 1399.98/1400.41 c | 58196 | 1353 412 4180 | 18987 11399 147 | 0.074 % | 1417.78/1418.28 c | 87393 | 1353 412 4180 | 20886 11998 153 | 0.074 % | 1445.37/1445.85 c | 131182 | 1353 412 4180 | 22974 13726 159 | 0.074 % | 1489.06/1489.50 c | 196867 | 1353 412 4180 | 25272 21109 222 | 0.074 % | 1567.43/1567.97 c | 295393 | 1353 412 4180 | 27799 16146 177 | 0.074 % | 1686.60/1687.10 c | 443182 | 1353 412 4180 | 30579 28202 200 | 0.074 % |
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-2680893-1277457122/watcher-2680893-1277457122 -o /tmp/evaluation-result-2680893-1277457122/solver-2680893-1277457122 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680893-1277457122.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.98 3/106 27792 /proc/meminfo: memFree=1238740/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=2576 CPUtime=0 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 289 0 0 0 0 0 0 0 20 0 1 0 87003732 2637824 204 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 644 204 144 303 0 339 0 [startup+0.0230349 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27792 /proc/meminfo: memFree=1238740/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=2708 CPUtime=0.01 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 315 0 0 0 1 0 0 0 20 0 1 0 87003732 2772992 230 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 677 230 145 303 0 372 0 Current children cumulated CPU time (s) 0.01 Current children cumulated vsize (KiB) 2708 [startup+0.101041 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27792 /proc/meminfo: memFree=1238740/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=3104 CPUtime=0.09 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 432 0 0 0 9 0 0 0 20 0 1 0 87003732 3178496 347 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 776 347 145 303 0 471 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3104 [startup+0.301059 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27792 /proc/meminfo: memFree=1238740/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=4272 CPUtime=0.29 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 703 0 0 0 28 1 0 0 20 0 1 0 87003732 4374528 618 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 1068 618 145 303 0 763 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4272 [startup+0.701095 s] /proc/loadavg: 1.00 1.00 0.98 3/106 27792 /proc/meminfo: memFree=1238740/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=6100 CPUtime=0.69 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 1177 0 0 0 67 2 0 0 20 0 1 0 87003732 6246400 1092 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 1525 1092 145 303 0 1220 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6100 [startup+1.50117 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27793 /proc/meminfo: memFree=1233648/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=8960 CPUtime=1.49 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 1897 0 0 0 145 4 0 0 22 0 1 0 87003732 9175040 1812 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 2240 1813 145 303 0 1935 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 8960 [startup+3.10131 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27793 /proc/meminfo: memFree=1229680/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=14572 CPUtime=3.09 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 3297 0 0 0 301 8 0 0 25 0 1 0 87003732 14921728 3212 1992294400 134512640 135752675 4287010176 18446744073709551615 134605070 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 3643 3212 145 303 0 3338 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14572 [startup+6.3006 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27793 /proc/meminfo: memFree=1218892/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=24956 CPUtime=6.29 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 5877 0 0 0 612 17 0 0 25 0 1 0 87003732 25554944 5792 1992294400 134512640 135752675 4287010176 18446744073709551615 134638097 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 6239 5792 145 303 0 5934 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 24956 [startup+12.7012 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27793 /proc/meminfo: memFree=1201284/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=40852 CPUtime=12.68 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 9866 0 0 0 1239 29 0 0 25 0 1 0 87003732 41832448 9781 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 10213 9781 145 303 0 9908 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 40852 [startup+25.5013 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27793 /proc/meminfo: memFree=1173880/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=67316 CPUtime=25.48 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 16480 0 0 0 2495 53 0 0 25 0 1 0 87003732 68931584 16395 1992294400 134512640 135752675 4287010176 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 16829 16395 145 303 0 16524 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67316 [startup+51.1006 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27795 /proc/meminfo: memFree=1123164/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=118488 CPUtime=51.08 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 29219 0 0 0 5009 99 0 0 25 0 1 0 87003732 121331712 29134 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 29622 29134 145 303 0 29317 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 118488 [startup+102.308 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27795 /proc/meminfo: memFree=1028428/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=212272 CPUtime=102.27 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 52644 0 0 0 10037 190 0 0 25 0 1 0 87003732 217366528 52559 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 53068 52559 145 303 0 52763 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 212272 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27797 /proc/meminfo: memFree=931336/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=309948 CPUtime=162.24 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 77051 0 0 0 15936 288 0 0 25 0 1 0 87003732 317386752 76966 1992294400 134512640 135752675 4287010176 18446744073709551615 134638095 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 77487 76966 145 303 0 77182 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 309948 [startup+222.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27799 /proc/meminfo: memFree=861896/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=378148 CPUtime=222.23 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 94194 0 0 0 21858 365 0 0 25 0 1 0 87003732 387223552 94072 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 94537 94072 146 303 0 94232 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 378148 [startup+282.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27801 /proc/meminfo: memFree=789356/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=451400 CPUtime=282.21 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 112489 0 0 0 27802 419 0 0 25 0 1 0 87003732 462233600 112367 1992294400 134512640 135752675 4287010176 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 112850 112367 146 303 0 112545 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 451400 [startup+342.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27801 /proc/meminfo: memFree=724628/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=515772 CPUtime=342.19 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 128533 0 0 0 33761 458 0 0 25 0 1 0 87003732 528150528 128411 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 128943 128411 146 303 0 128638 0 Current children cumulated CPU time (s) 342.19 Current children cumulated vsize (KiB) 515772 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27803 /proc/meminfo: memFree=661388/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=579196 CPUtime=402.18 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 144369 0 0 0 39711 507 0 0 25 0 1 0 87003732 593096704 144247 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 144799 144247 146 303 0 144494 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 579196 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27805 /proc/meminfo: memFree=600256/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=639956 CPUtime=462.16 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 159520 0 0 0 45664 552 0 0 25 0 1 0 87003732 655314944 159398 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 159989 159398 146 303 0 159684 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 639956 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27807 /proc/meminfo: memFree=539496/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=701240 CPUtime=522.15 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 174804 0 0 0 51617 598 0 0 25 0 1 0 87003732 718069760 174682 1992294400 134512640 135752675 4287010176 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 175310 174682 146 303 0 175005 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 701240 [startup+582.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27809 /proc/meminfo: memFree=488036/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=752200 CPUtime=582.13 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 187523 0 0 0 57579 634 0 0 25 0 1 0 87003732 770252800 187401 1992294400 134512640 135752675 4287010176 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 188050 187401 146 303 0 187745 0 Current children cumulated CPU time (s) 582.13 Current children cumulated vsize (KiB) 752200 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27809 /proc/meminfo: memFree=443644/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=796232 CPUtime=642.12 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 198511 0 0 0 63548 664 0 0 25 0 1 0 87003732 815341568 198389 1992294400 134512640 135752675 4287010176 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 199058 198389 146 303 0 198753 0 Current children cumulated CPU time (s) 642.12 Current children cumulated vsize (KiB) 796232 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27817 /proc/meminfo: memFree=218336/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1021756 CPUtime=882.05 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 254749 0 0 0 87386 819 0 0 25 0 1 0 87003732 1046278144 254627 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 255439 254627 146 303 0 255134 0 Current children cumulated CPU time (s) 882.05 Current children cumulated vsize (KiB) 1021756 [startup+942.302 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27817 /proc/meminfo: memFree=168736/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1071856 CPUtime=942.02 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 267202 0 0 0 93353 849 0 0 25 0 1 0 87003732 1097580544 267080 1992294400 134512640 135752675 4287010176 18446744073709551615 134611744 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 267964 267080 146 303 0 267659 0 Current children cumulated CPU time (s) 942.02 Current children cumulated vsize (KiB) 1071856 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27819 /proc/meminfo: memFree=121244/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1119052 CPUtime=1002.01 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 278990 0 0 0 99316 885 0 0 25 0 1 0 87003732 1145909248 278868 1992294400 134512640 135752675 4287010176 18446744073709551615 134611809 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 279763 278868 146 303 0 279458 0 Current children cumulated CPU time (s) 1002.01 Current children cumulated vsize (KiB) 1119052 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27821 /proc/meminfo: memFree=61228/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1179360 CPUtime=1061.99 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 294048 0 0 0 105276 923 0 0 25 0 1 0 87003732 1207664640 293926 1992294400 134512640 135752675 4287010176 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 294840 293926 146 303 0 294535 0 Current children cumulated CPU time (s) 1061.99 Current children cumulated vsize (KiB) 1179360 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27823 /proc/meminfo: memFree=10476/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1234824 CPUtime=1121.97 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 307876 0 0 0 111237 960 0 0 25 0 1 0 87003732 1264459776 307754 1992294400 134512640 135752675 4287010176 18446744073709551615 134642659 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 308706 307754 146 303 0 308401 0 Current children cumulated CPU time (s) 1121.97 Current children cumulated vsize (KiB) 1234824 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.98 2/107 27825 /proc/meminfo: memFree=10564/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1290364 CPUtime=1181.94 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 321750 0 0 0 117195 999 0 0 25 0 1 0 87003732 1321332736 321628 1992294400 134512640 135752675 4287010176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 322591 321628 146 303 0 322286 0 Current children cumulated CPU time (s) 1181.94 Current children cumulated vsize (KiB) 1290364 [startup+1242.3 s] /proc/loadavg: 1.06 1.01 0.99 2/107 27828 /proc/meminfo: memFree=24772/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1351796 CPUtime=1241.93 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 337137 0 0 0 123161 1032 0 0 25 0 1 0 87003732 1384239104 337015 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 337949 337015 146 303 0 337644 0 Current children cumulated CPU time (s) 1241.93 Current children cumulated vsize (KiB) 1351796 [startup+1302.3 s] /proc/loadavg: 1.02 1.01 0.99 2/107 27830 /proc/meminfo: memFree=10544/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1411772 CPUtime=1301.92 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 352069 0 0 0 129125 1067 0 0 25 0 1 0 87003732 1445654528 351947 1992294400 134512640 135752675 4287010176 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 352943 351948 146 303 0 352638 0 Current children cumulated CPU time (s) 1301.92 Current children cumulated vsize (KiB) 1411772 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27832 /proc/meminfo: memFree=9384/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1481512 CPUtime=1361.9 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 369504 0 0 0 135101 1089 0 0 25 0 1 0 87003732 1517068288 369382 1992294400 134512640 135752675 4287010176 18446744073709551615 134615253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 370378 369382 146 303 0 370073 0 Current children cumulated CPU time (s) 1361.9 Current children cumulated vsize (KiB) 1481512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27834 /proc/meminfo: memFree=9964/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1481652 CPUtime=1421.89 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 370112 0 0 0 141064 1125 0 0 25 0 1 0 87003732 1517211648 369990 1992294400 134512640 135752675 4287010176 18446744073709551615 134516986 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 370413 369990 146 303 0 370108 0 Current children cumulated CPU time (s) 1421.89 Current children cumulated vsize (KiB) 1481652 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27836 /proc/meminfo: memFree=9496/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1533668 CPUtime=1481.86 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 383088 0 0 0 147015 1171 0 0 25 0 1 0 87003732 1570476032 382966 1992294400 134512640 135752675 4287010176 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 383417 382966 146 303 0 383112 0 Current children cumulated CPU time (s) 1481.86 Current children cumulated vsize (KiB) 1533668 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 0.99 2/107 27836 /proc/meminfo: memFree=9712/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1597504 CPUtime=1541.84 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 399027 0 0 0 152968 1216 0 0 25 0 1 0 87003732 1635844096 398905 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 399376 398905 146 303 0 399071 0 Current children cumulated CPU time (s) 1541.84 Current children cumulated vsize (KiB) 1597504 [startup+1602.3 s] /proc/loadavg: 1.06 1.02 1.00 2/107 27838 /proc/meminfo: memFree=9240/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1656404 CPUtime=1601.82 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 413718 0 0 0 158917 1265 0 0 25 0 1 0 87003732 1696157696 413596 1992294400 134512640 135752675 4287010176 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 414101 413596 146 303 0 413796 0 Current children cumulated CPU time (s) 1601.82 Current children cumulated vsize (KiB) 1656404 [startup+1662.3 s] /proc/loadavg: 1.10 1.03 1.00 2/107 27840 /proc/meminfo: memFree=9164/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1710380 CPUtime=1661.81 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 427217 0 0 0 164870 1311 0 0 25 0 1 0 87003732 1751429120 427095 1992294400 134512640 135752675 4287010176 18446744073709551615 134611620 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 427595 427095 146 303 0 427290 0 Current children cumulated CPU time (s) 1661.81 Current children cumulated vsize (KiB) 1710380 [startup+1722.3 s] /proc/loadavg: 1.04 1.02 1.00 2/107 27842 /proc/meminfo: memFree=9568/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1772184 CPUtime=1721.8 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 442642 0 0 0 170820 1360 0 0 25 0 1 0 87003732 1814716416 442520 1992294400 134512640 135752675 4287010176 18446744073709551615 134638083 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 443046 442520 146 303 0 442741 0 Current children cumulated CPU time (s) 1721.8 Current children cumulated vsize (KiB) 1772184 [startup+1782.3 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27844 /proc/meminfo: memFree=10164/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1823664 CPUtime=1781.77 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 455468 0 0 0 176782 1395 0 0 25 0 1 0 87003732 1867431936 455346 1992294400 134512640 135752675 4287010176 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 455916 455346 146 303 0 455611 0 Current children cumulated CPU time (s) 1781.77 Current children cumulated vsize (KiB) 1823664 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27844 /proc/meminfo: memFree=9372/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=1835708 CPUtime=1800.08 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4202496 458468 0 0 0 178604 1404 0 0 25 0 1 0 87003732 1879764992 458346 1992294400 134512640 135752675 4287010176 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27792/statm: 458927 458346 146 303 0 458622 0 Current children cumulated CPU time (s) 1800.08 Current children cumulated vsize (KiB) 1835708 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 1.01 1.01 1.00 2/107 27844 /proc/meminfo: memFree=9372/2059040 swapFree=4140324/4192956 [pid=27792] ppid=27790 vsize=0 CPUtime=1800.18 /proc/27792/stat : 27792 (wbo1.4b) R 27790 27792 27491 0 -1 4203524 458468 0 0 0 178604 1414 0 0 25 0 1 0 87003732 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27792/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.8 CPU time (s): 1800.28 CPU user time (s): 1786.05 CPU system time (s): 14.2308 CPU usage (%): 99.9711 Max. virtual memory (cumulated for all children) (KiB): 1835708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1786.05 system time used= 14.2308 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 458468 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= 3667 runsolver used 3.11553 second user time and 8.37273 second system time The end
Begin job on node051 at 2010-06-25 11:12:02 IDJOB=2680893 IDBENCH=2859 IDSOLVER=1190 FILE ID=node051/2680893-1277457122 PBS_JOBID= 11188117 Free space on /tmp= 62556 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_300_10_14.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680893-1277457122/watcher-2680893-1277457122 -o /tmp/evaluation-result-2680893-1277457122/solver-2680893-1277457122 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680893-1277457122.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= f1b978cb920387bc2a07b8b1a528a68d RANDOM SEED=2052467025 node051.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.255 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.51 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.255 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.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1239268 kB Buffers: 211764 kB Cached: 498012 kB SwapCached: 5676 kB Active: 334868 kB Inactive: 388412 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1239268 kB SwapTotal: 4192956 kB SwapFree: 4140324 kB Dirty: 2592 kB Writeback: 0 kB AnonPages: 11944 kB Mapped: 11908 kB Slab: 74580 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 182432 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= 62556 MiB End job on node051 at 2010-06-25 11:42:05