Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | Wrong UNSAT | 1522.23 | 1522.75 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m100_50_10_10.r.opb |
MD5SUM | 41d5abe94732aa440d44e4bcd1eb4f30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 8 |
Best CPU time to get the best result obtained on this benchmark | 0.607906 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 8 |
Optimality of the best value was proved | YES |
Number of variables | 50 |
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 | 10 |
Number of terms in the objective function | 50 |
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 | 50 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 50 |
Number of bits of the biggest sum of numbers | 6 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2656270-1276595864.opb. 0.00/0.00 c Instance file HOME/instance-2656270-1276595864.opb 0.00/0.00 c File size is 8067 bytes. 0.00/0.00 c Highest Coefficient sum: 11 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: 50 | 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 | 50 100 1000 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 9 0.00/0.00 o 9 0.00/0.00 c Elapsed CPU time: 0.000999 s Remaining CPU time: 179.999 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 50 101 1050 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 50 101 1050 | 5500 101 25 | 0.041 % | 0.00/0.00 c | 251 | 50 101 1050 | 6050 251 24 | 0.041 % | 0.00/0.01 c | 477 | 50 101 1050 | 6655 477 25 | 0.041 % | 0.00/0.02 c | 815 | 50 101 1050 | 7320 815 24 | 0.041 % | 0.02/0.03 c | 1323 | 50 101 1050 | 8052 1323 24 | 0.041 % | 0.02/0.05 c | 2084 | 50 101 1050 | 8857 2084 24 | 0.041 % | 0.02/0.09 c | 3223 | 50 101 1050 | 9743 3223 24 | 0.041 % | 0.09/0.16 c | 4934 | 50 101 1050 | 10717 4934 24 | 0.041 % | 0.19/0.29 c | 7498 | 50 101 1050 | 11789 7498 24 | 0.041 % | 0.49/0.55 c | 11342 | 50 101 1050 | 12968 11342 24 | 0.041 % | 0.89/0.99 c | 17108 | 50 101 1050 | 14265 10608 24 | 0.041 % | 1.69/1.71 c | 25757 | 50 101 1050 | 15692 12109 24 | 0.041 % | 2.89/2.97 c | 38733 | 50 101 1050 | 17261 9362 23 | 0.041 % | 4.99/5.04 c | 58195 | 50 101 1050 | 18987 11534 24 | 0.041 % | 8.39/8.44 c | 87388 | 50 101 1050 | 20886 12200 23 | 0.041 % | 14.39/14.46 c | 131178 | 50 101 1050 | 22974 14158 23 | 0.041 % | 16.29/16.34 c =============================================================================== 16.29/16.34 c New solution: 8 16.29/16.34 o 8 16.29/16.34 c Elapsed CPU time: 15.9936 s Remaining CPU time: 164.006 s 16.29/16.34 c =============================================================================== 16.29/16.34 c | 144993 | 50 102 1100 | 5000 15999 23 | 0.041 % | 16.39/16.43 c | 145093 | 50 102 1100 | 5500 4100 23 | 0.041 % | 16.39/16.44 c | 145245 | 50 102 1100 | 6050 4252 23 | 0.041 % | 16.39/16.45 c | 145470 | 50 102 1100 | 6655 4477 23 | 0.041 % | 16.39/16.46 c | 145807 | 50 102 1100 | 7320 4814 23 | 0.041 % | 16.39/16.48 c | 146313 | 50 102 1100 | 8052 5320 23 | 0.041 % | 16.49/16.51 c | 147073 | 50 102 1100 | 8857 6080 23 | 0.041 % | 16.49/16.56 c | 148213 | 50 102 1100 | 9743 7220 23 | 0.041 % | 16.59/16.67 c | 149921 | 50 102 1100 | 10717 8928 23 | 0.041 % | 16.78/16.84 c | 152483 | 50 102 1100 | 11789 6117 22 | 0.041 % | 16.99/17.07 c | 156328 | 50 102 1100 | 12968 9962 22 | 0.041 % | 17.39/17.48 c | 162095 | 50 102 1100 | 14265 9230 22 | 0.041 % | 18.08/18.17 c | 170744 | 50 102 1100 | 15692 10734 22 | 0.041 % | 19.28/19.38 c | 183719 | 50 102 1100 | 17261 7989 21 | 0.041 % | 21.18/21.23 c | 203182 | 50 102 1100 | 18987 10163 21 | 0.041 % | 24.49/24.59 c | 232374 | 50 102 1100 | 20886 10835 21 | 0.041 % | 30.08/30.14 c | 276164 | 50 102 1100 | 22974 12793 21 | 0.041 % | 38.87/38.90 c | 341849 | 50 102 1100 | 25272 19628 21 | 0.041 % | 52.97/53.10 c | 440375 | 50 102 1100 | 27799 19543 21 | 0.041 % | 74.97/75.06 c | 588165 | 50 102 1100 | 30579 20416 20 | 0.041 % | 111.96/112.04 c | 809848 | 50 102 1100 | 33637 13989 19 | 0.041 % | 172.14/172.22 c | 1142375 | 50 102 1100 | 37001 17320 20 | 0.041 % | 183.23/183.32 c There are 0 assigned variables. 0 in cost function. 184.33/184.46 c core #1 184.33/184.46 c core #2 184.33/184.46 c core #3 184.33/184.46 c ============================[ Search Statistics ]============================== 184.33/184.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.46 c =============================================================================== 184.33/184.46 c | 0 | 74 156 1262 | 5000 0 nan | 0.000 % | 184.33/184.46 c =============================================================================== 184.33/184.46 c core #4 184.33/184.46 c ============================[ Search Statistics ]============================== 184.33/184.47 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.33/184.47 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.33/184.47 c =============================================================================== 184.33/184.47 c | 0 | 129 157 1360 | 5000 0 nan | 0.000 % | 184.33/184.47 c | 102 | 129 157 1360 | 5500 102 33 | 1.533 % | 184.33/184.48 c | 254 | 129 157 1360 | 6050 254 29 | 1.533 % | 184.33/184.49 c | 480 | 129 157 1360 | 6655 480 27 | 1.538 % | 184.33/184.49 c =============================================================================== 184.43/184.50 c core #5 184.43/184.50 c ============================[ Search Statistics ]============================== 184.43/184.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.43/184.50 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.43/184.50 c =============================================================================== 184.43/184.50 c | 0 | 181 158 1462 | 5000 0 nan | 0.000 % | 184.43/184.50 c | 101 | 181 158 1462 | 5500 101 51 | 0.003 % | 184.43/184.51 c | 251 | 181 158 1462 | 6050 251 47 | 0.003 % | 184.43/184.53 c | 476 | 181 158 1462 | 6655 476 43 | 0.003 % | 184.43/184.55 c | 816 | 181 158 1462 | 7320 816 39 | 0.003 % | 184.53/184.60 c | 1326 | 181 158 1462 | 8052 1326 38 | 0.003 % | 184.53/184.67 c | 2086 | 181 158 1462 | 8857 2086 35 | 0.003 % | 184.64/184.78 c | 3228 | 181 158 1462 | 9743 3228 34 | 0.003 % | 184.93/185.00 c | 4936 | 181 158 1462 | 10717 4936 34 | 0.003 % | 185.33/185.40 c | 7498 | 181 158 1462 | 11789 7498 32 | 0.003 % | 186.03/186.14 c | 11344 | 181 158 1462 | 12968 11344 33 | 0.003 % | 187.14/187.24 c | 17110 | 181 158 1462 | 14265 10598 31 | 0.003 % | 187.94/188.02 c =============================================================================== 188.23/188.30 c core #6 188.23/188.30 c ============================[ Search Statistics ]============================== 188.23/188.30 c | Conflicts | ORIGINAL | LEARNT | Progress | 188.23/188.30 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 188.23/188.30 c =============================================================================== 188.23/188.30 c | 0 | 231 159 1562 | 5000 0 nan | 0.000 % | 188.23/188.31 c | 102 | 231 159 1562 | 5500 102 73 | 0.002 % | 188.23/188.32 c | 254 | 231 159 1562 | 6050 254 59 | 0.002 % | 188.23/188.33 c | 482 | 231 159 1562 | 6655 482 41 | 0.002 % | 188.23/188.34 c | 820 | 231 159 1562 | 7320 820 34 | 0.002 % | 188.23/188.35 c | 1329 | 231 159 1562 | 8052 1329 29 | 0.002 % | 188.23/188.38 c | 2088 | 231 159 1562 | 8857 2088 27 | 0.002 % | 188.33/188.44 c | 3229 | 231 159 1562 | 9743 3229 25 | 0.002 % | 188.43/188.53 c | 4940 | 231 159 1562 | 10717 4940 24 | 0.002 % | 188.63/188.71 c | 7502 | 231 159 1562 | 11789 7502 23 | 0.002 % | 188.93/189.09 c | 11347 | 231 159 1562 | 12968 11347 23 | 0.002 % | 189.64/189.72 c | 17113 | 231 159 1562 | 14265 10614 22 | 0.002 % | 190.73/190.80 c | 25765 | 231 159 1562 | 15692 12122 22 | 0.002 % | 192.33/192.43 c | 38740 | 231 159 1562 | 17261 9376 20 | 0.002 % | 195.03/195.11 c | 58202 | 231 159 1562 | 18987 11550 21 | 0.002 % | 199.42/199.55 c | 87395 | 231 159 1562 | 20886 12221 21 | 0.002 % | 206.12/206.25 c | 131184 | 231 159 1562 | 22974 14184 21 | 0.002 % | 218.21/218.37 c | 196869 | 231 159 1562 | 25272 20511 21 | 0.002 % | 234.70/234.87 c | 295397 | 231 159 1562 | 27799 21957 20 | 0.002 % | 259.70/259.89 c | 443187 | 231 159 1562 | 30579 21681 20 | 0.002 % | 299.00/299.11 c | 664874 | 231 159 1562 | 33637 14897 19 | 0.002 % | 362.37/362.50 c | 997399 | 231 159 1562 | 37001 18602 18 | 0.002 % | 461.44/461.65 c | 1496188 | 231 159 1562 | 40701 14530 20 | 0.002 % | 617.29/617.53 c | 2244372 | 231 159 1562 | 44771 14172 19 | 0.002 % | 863.23/863.53 c | 3366646 | 228 159 1562 | 49248 12030 15 | 1.302 % | 863.42/863.79 c =============================================================================== 865.92/866.26 c core #7 865.92/866.26 c ============================[ Search Statistics ]============================== 865.92/866.26 c | Conflicts | ORIGINAL | LEARNT | Progress | 865.92/866.26 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 865.92/866.26 c =============================================================================== 865.92/866.26 c | 0 | 271 164 1654 | 5000 0 nan | 0.000 % | 866.02/866.36 c | 100 | 271 164 1654 | 5500 100 75 | 0.001 % | 866.11/866.45 c | 252 | 271 164 1654 | 6050 252 56 | 0.001 % | 866.11/866.49 c | 478 | 271 164 1654 | 6655 478 39 | 0.001 % | 866.32/866.61 c | 815 | 271 164 1654 | 7320 815 32 | 0.001 % | 866.32/866.69 c | 1322 | 271 164 1654 | 8052 1322 28 | 0.001 % | 866.43/866.72 c | 2083 | 271 164 1654 | 8857 2083 26 | 0.001 % | 866.43/866.77 c | 3224 | 271 164 1654 | 9743 3224 24 | 0.001 % | 866.52/866.85 c | 4932 | 271 164 1654 | 10717 4932 23 | 0.001 % | 866.72/867.01 c | 7496 | 271 164 1654 | 11789 7496 23 | 0.001 % | 867.02/867.37 c | 11342 | 271 164 1654 | 12968 11342 22 | 0.001 % | 867.62/867.91 c | 17109 | 271 164 1654 | 14265 10609 22 | 0.001 % | 868.42/868.77 c | 25758 | 271 164 1654 | 15692 12113 21 | 0.001 % | 869.82/870.13 c | 38734 | 271 164 1654 | 17261 9371 20 | 0.001 % | 872.02/872.34 c | 58196 | 271 164 1654 | 18987 11544 20 | 0.001 % | 875.91/876.24 c | 87388 | 271 164 1654 | 20886 12212 20 | 0.001 % | 882.51/882.84 c | 131178 | 271 164 1654 | 22974 14178 20 | 0.001 % | 891.61/891.94 c | 196862 | 271 164 1654 | 25272 20160 20 | 0.001 % | 906.51/906.86 c | 295388 | 271 164 1654 | 27799 21244 20 | 0.001 % | 928.30/928.67 c | 443179 | 271 164 1654 | 30579 21175 19 | 0.001 % | 966.69/967.01 c | 664862 | 271 164 1654 | 33637 13782 20 | 0.001 % | 1028.28/1028.66 c | 997390 | 271 164 1654 | 37001 15929 18 | 0.001 % | 1127.04/1127.50 c | 1496178 | 271 164 1654 | 40701 12879 17 | 0.001 % | 1292.16/1292.68 c | 2244360 | 271 164 1654 | 44771 14294 16 | 0.001 % | 1522.08/1522.67 c =============================================================================== 1522.08/1522.67 c core #8 1522.08/1522.67 c Memory used : 936.75 MB 1522.08/1522.67 c CPU time : 1499.76 s 1522.08/1522.67 c 1522.08/1522.67 s UNSATISFIABLE 1522.08/1522.67 c Total CPU time: 1499.76 s
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-2656270-1276595864/watcher-2656270-1276595864 -o /tmp/evaluation-result-2656270-1276595864/solver-2656270-1276595864 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656270-1276595864.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.74 2.06 1.82 3/105 9110 /proc/meminfo: memFree=1844840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=2576 CPUtime=0 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 284 0 0 0 0 0 0 0 23 0 1 0 880205 2637824 200 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 644 200 147 303 0 339 0 [startup+0.0256909 s] /proc/loadavg: 1.74 2.06 1.82 3/105 9110 /proc/meminfo: memFree=1844840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=2708 CPUtime=0.02 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 328 0 0 0 2 0 0 0 23 0 1 0 880205 2772992 244 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 677 244 147 303 0 372 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2708 [startup+0.101699 s] /proc/loadavg: 1.74 2.06 1.82 3/105 9110 /proc/meminfo: memFree=1844840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=3236 CPUtime=0.09 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 452 0 0 0 9 0 0 0 23 0 1 0 880205 3313664 368 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 809 368 147 303 0 504 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3236 [startup+0.301718 s] /proc/loadavg: 1.74 2.06 1.82 3/105 9110 /proc/meminfo: memFree=1844840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=4160 CPUtime=0.29 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 677 0 0 0 28 1 0 0 24 0 1 0 880205 4259840 593 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 1040 593 147 303 0 735 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4160 [startup+0.701757 s] /proc/loadavg: 1.74 2.06 1.82 3/105 9110 /proc/meminfo: memFree=1844840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=5236 CPUtime=0.69 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 968 0 0 0 67 2 0 0 25 0 1 0 880205 5361664 884 1992294400 134512640 135751879 4294195984 18446744073709551615 134517568 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 1309 884 148 303 0 1004 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5236 [startup+1.50183 s] /proc/loadavg: 1.74 2.06 1.82 2/106 9111 /proc/meminfo: memFree=1840864/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=7352 CPUtime=1.49 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 1485 0 0 0 144 5 0 0 25 0 1 0 880205 7528448 1401 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 1838 1401 148 303 0 1533 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7352 [startup+3.10099 s] /proc/loadavg: 1.74 2.06 1.82 2/106 9111 /proc/meminfo: memFree=1838136/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=10792 CPUtime=3.09 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 2361 0 0 0 300 9 0 0 25 0 1 0 880205 11051008 2277 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 2698 2277 148 303 0 2393 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 10792 [startup+6.3013 s] /proc/loadavg: 1.76 2.06 1.82 2/106 9111 /proc/meminfo: memFree=1831316/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=16964 CPUtime=6.29 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 3873 0 0 0 612 17 0 0 25 0 1 0 880205 17371136 3789 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 4241 3789 148 303 0 3936 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 16964 [startup+12.7009 s] /proc/loadavg: 1.70 2.04 1.82 2/106 9111 /proc/meminfo: memFree=1821040/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=26476 CPUtime=12.68 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 6253 0 0 0 1240 28 0 0 25 0 1 0 880205 27111424 6169 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 6619 6169 148 303 0 6314 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 26476 [startup+25.5012 s] /proc/loadavg: 1.54 1.99 1.80 2/106 9111 /proc/meminfo: memFree=1796984/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=49892 CPUtime=25.49 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 12121 0 0 0 2490 59 0 0 25 0 1 0 880205 51089408 12037 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 12473 12037 148 303 0 12168 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 49892 [startup+51.1017 s] /proc/loadavg: 1.36 1.91 1.78 2/106 9113 /proc/meminfo: memFree=1762388/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=85152 CPUtime=51.07 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 20932 0 0 0 4996 111 0 0 25 0 1 0 880205 87195648 20848 1992294400 134512640 135751879 4294195984 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 21288 20848 148 303 0 20983 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 85152 [startup+102.309 s] /proc/loadavg: 1.15 1.77 1.74 2/106 9113 /proc/meminfo: memFree=1700760/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=145780 CPUtime=102.26 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 36057 0 0 0 10023 203 0 0 25 0 1 0 880205 149278720 35973 1992294400 134512640 135751879 4294195984 18446744073709551615 134616414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 36445 35973 148 303 0 36140 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 145780 [startup+162.301 s] /proc/loadavg: 1.06 1.62 1.69 2/106 9115 /proc/meminfo: memFree=1639008/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=208116 CPUtime=162.24 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 51630 0 0 0 15929 295 0 0 25 0 1 0 880205 213110784 51546 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 52029 51546 148 303 0 51724 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 208116 [startup+222.301 s] /proc/loadavg: 1.02 1.51 1.64 2/106 9126 /proc/meminfo: memFree=1615836/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=229212 CPUtime=222.21 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 56994 0 0 0 21829 392 0 0 25 0 1 0 880205 234713088 56873 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 57303 56873 151 303 0 56998 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 229212 [startup+282.301 s] /proc/loadavg: 1.00 1.41 1.60 2/106 9128 /proc/meminfo: memFree=1593640/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=251532 CPUtime=282.19 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 62539 0 0 0 27736 483 0 0 25 0 1 0 880205 257568768 62418 1992294400 134512640 135751879 4294195984 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 62883 62418 151 303 0 62578 0 Current children cumulated CPU time (s) 282.19 Current children cumulated vsize (KiB) 251532 [startup+342.302 s] /proc/loadavg: 1.00 1.33 1.56 2/106 9130 /proc/meminfo: memFree=1568840/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=276232 CPUtime=342.18 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 68701 0 0 0 33649 569 0 0 25 0 1 0 880205 282861568 68580 1992294400 134512640 135751879 4294195984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 69058 68580 151 303 0 68753 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 276232 [startup+402.302 s] /proc/loadavg: 1.00 1.27 1.52 2/106 9130 /proc/meminfo: memFree=1527052/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=318360 CPUtime=402.15 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 79224 0 0 0 39555 660 0 0 25 0 1 0 880205 326000640 79103 1992294400 134512640 135751879 4294195984 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 79590 79103 151 303 0 79285 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 318360 [startup+462.302 s] /proc/loadavg: 1.00 1.22 1.49 2/106 9132 /proc/meminfo: memFree=1479436/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=366020 CPUtime=462.15 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 91125 0 0 0 45468 747 0 0 25 0 1 0 880205 374804480 91004 1992294400 134512640 135751879 4294195984 18446744073709551615 134616380 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 91505 91004 151 303 0 91200 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 366020 [startup+522.301 s] /proc/loadavg: 1.00 1.18 1.45 2/106 9134 /proc/meminfo: memFree=1437152/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=408256 CPUtime=522.12 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 101663 0 0 0 51387 825 0 0 25 0 1 0 880205 418054144 101542 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 102064 101542 151 303 0 101759 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 408256 [startup+582.301 s] /proc/loadavg: 1.00 1.14 1.42 2/106 9136 /proc/meminfo: memFree=1392512/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=452548 CPUtime=582.11 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 112733 0 0 0 57294 917 0 0 25 0 1 0 880205 463409152 112612 1992294400 134512640 135751879 4294195984 18446744073709551615 134602922 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 113137 112612 151 303 0 112832 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 452548 [startup+642.301 s] /proc/loadavg: 1.00 1.11 1.39 2/106 9138 /proc/meminfo: memFree=1348368/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=496516 CPUtime=642.09 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 123706 0 0 0 63202 1007 0 0 25 0 1 0 880205 508432384 123585 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 124129 123585 151 303 0 123824 0 Current children cumulated CPU time (s) 642.09 Current children cumulated vsize (KiB) 496516 [startup+702.301 s] ################ # More data... # ################ /proc/meminfo: memFree=1191632/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=652340 CPUtime=882.01 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 162833 0 0 0 86871 1330 0 0 25 0 1 0 880205 667996160 162668 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 163085 162668 151 303 0 162780 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 652340 [startup+942.302 s] /proc/loadavg: 1.00 1.03 1.27 2/106 9144 /proc/meminfo: memFree=1159516/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=685052 CPUtime=941.99 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 170958 0 0 0 92767 1432 0 0 25 0 1 0 880205 701493248 170793 1992294400 134512640 135751879 4294195984 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 171263 170793 151 303 0 170958 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 685052 [startup+1002.3 s] /proc/loadavg: 1.00 1.02 1.25 2/106 9146 /proc/meminfo: memFree=1131368/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=712760 CPUtime=1001.98 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 177885 0 0 0 98671 1527 0 0 25 0 1 0 880205 729866240 177720 1992294400 134512640 135751879 4294195984 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 178190 177720 151 303 0 177885 0 Current children cumulated CPU time (s) 1001.98 Current children cumulated vsize (KiB) 712760 [startup+1062.3 s] /proc/loadavg: 1.00 1.02 1.23 2/106 9148 /proc/meminfo: memFree=1107684/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=736452 CPUtime=1061.96 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 183801 0 0 0 104581 1615 0 0 25 0 1 0 880205 754126848 183636 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 184113 183636 151 303 0 183808 0 Current children cumulated CPU time (s) 1061.96 Current children cumulated vsize (KiB) 736452 [startup+1122.32 s] /proc/loadavg: 1.00 1.01 1.22 2/108 9152 /proc/meminfo: memFree=1083052/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=758244 CPUtime=1121.96 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 189207 0 0 0 110497 1699 0 0 25 0 1 0 880205 776441856 189042 1992294400 134512640 135751879 4294195984 18446744073709551615 134616344 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/9110/statm: 189561 189042 151 303 0 189256 0 Current children cumulated CPU time (s) 1121.96 Current children cumulated vsize (KiB) 758244 [startup+1182.3 s] /proc/loadavg: 1.03 1.02 1.20 2/106 9159 /proc/meminfo: memFree=1062988/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=778848 CPUtime=1181.91 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 194350 0 0 0 116414 1777 0 0 25 0 1 0 880205 797540352 194185 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 194712 194185 151 303 0 194407 0 Current children cumulated CPU time (s) 1181.91 Current children cumulated vsize (KiB) 778848 [startup+1242.3 s] /proc/loadavg: 1.01 1.02 1.19 2/106 9161 /proc/meminfo: memFree=1043396/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=797916 CPUtime=1241.89 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 199128 0 0 0 122332 1857 0 0 25 0 1 0 880205 817065984 198963 1992294400 134512640 135751879 4294195984 18446744073709551615 134602695 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 199479 198963 151 303 0 199174 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 797916 [startup+1302.3 s] /proc/loadavg: 1.00 1.01 1.17 2/106 9161 /proc/meminfo: memFree=1019092/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=821976 CPUtime=1301.87 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 205136 0 0 0 128247 1940 0 0 25 0 1 0 880205 841703424 204971 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 205494 204971 151 303 0 205189 0 Current children cumulated CPU time (s) 1301.87 Current children cumulated vsize (KiB) 821976 [startup+1362.3 s] /proc/loadavg: 1.00 1.01 1.16 2/106 9163 /proc/meminfo: memFree=982512/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=859364 CPUtime=1361.83 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 214466 0 0 0 134165 2018 0 0 25 0 1 0 880205 879988736 214301 1992294400 134512640 135751879 4294195984 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 214841 214301 151 303 0 214536 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 859364 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.15 2/106 9165 /proc/meminfo: memFree=943452/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=897960 CPUtime=1421.81 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 224102 0 0 0 140076 2105 0 0 25 0 1 0 880205 919511040 223937 1992294400 134512640 135751879 4294195984 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 224490 223937 151 303 0 224185 0 Current children cumulated CPU time (s) 1421.81 Current children cumulated vsize (KiB) 897960 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.14 2/106 9167 /proc/meminfo: memFree=907748/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=933732 CPUtime=1481.79 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 233038 0 0 0 146000 2179 0 0 25 0 1 0 880205 956141568 232873 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 233433 232873 151 303 0 233128 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 933732 Solver just ended. Dumping a history of the last processes samples [startup+1484.7 s] /proc/loadavg: 1.00 1.00 1.14 2/106 9167 /proc/meminfo: memFree=907128/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=935052 CPUtime=1484.19 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 233384 0 0 0 146237 2182 0 0 25 0 1 0 880205 957493248 233219 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 233763 233219 151 303 0 233458 0 Current children cumulated CPU time (s) 1484.19 Current children cumulated vsize (KiB) 935052 [startup+1497.5 s] /proc/loadavg: 1.00 1.00 1.14 2/106 9167 /proc/meminfo: memFree=898200/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=942972 CPUtime=1496.98 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 235364 0 0 0 147497 2201 0 0 25 0 1 0 880205 965603328 235199 1992294400 134512640 135751879 4294195984 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 235743 235199 151 303 0 235438 0 Current children cumulated CPU time (s) 1496.98 Current children cumulated vsize (KiB) 942972 [startup+1510.31 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=890016/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=951044 CPUtime=1509.78 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 237361 0 0 0 148758 2220 0 0 25 0 1 0 880205 973869056 237196 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 237761 237196 151 303 0 237456 0 Current children cumulated CPU time (s) 1509.78 Current children cumulated vsize (KiB) 951044 [startup+1516.7 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=886172/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=955268 CPUtime=1516.17 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 238434 0 0 0 149387 2230 0 0 25 0 1 0 880205 978194432 238269 1992294400 134512640 135751879 4294195984 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 238817 238269 151 303 0 238512 0 Current children cumulated CPU time (s) 1516.17 Current children cumulated vsize (KiB) 955268 [startup+1519.9 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=884808/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=956456 CPUtime=1519.37 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 238719 0 0 0 149704 2233 0 0 25 0 1 0 880205 979410944 238554 1992294400 134512640 135751879 4294195984 18446744073709551615 134616448 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 239114 238554 151 303 0 238809 0 Current children cumulated CPU time (s) 1519.37 Current children cumulated vsize (KiB) 956456 [startup+1521.5 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=883196/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=957908 CPUtime=1520.97 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 239083 0 0 0 149861 2236 0 0 25 0 1 0 880205 980897792 238918 1992294400 134512640 135751879 4294195984 18446744073709551615 134602700 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 239477 238918 151 303 0 239172 0 Current children cumulated CPU time (s) 1520.97 Current children cumulated vsize (KiB) 957908 [startup+1522.3 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=882080/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=958964 CPUtime=1521.78 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202496 239342 0 0 0 149940 2238 0 0 25 0 1 0 880205 981979136 239177 1992294400 134512640 135751879 4294195984 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 0 0 0 0 /proc/9110/statm: 239741 239177 151 303 0 239436 0 Current children cumulated CPU time (s) 1521.78 Current children cumulated vsize (KiB) 958964 [startup+1522.7 s] /proc/loadavg: 1.00 1.00 1.13 2/106 9167 /proc/meminfo: memFree=882080/2059040 swapFree=4192956/4192956 [pid=9110] ppid=9108 vsize=0 CPUtime=1522.17 /proc/9110/stat : 9110 (wbo1.4b) R 9108 9110 2306 0 -1 4202500 239419 0 0 0 149975 2242 0 0 25 0 1 0 880205 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 0 0 0 0 /proc/9110/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1522.17 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1522.75 CPU time (s): 1522.23 CPU user time (s): 1499.76 CPU system time (s): 22.4746 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 959228 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1499.76 system time used= 22.4746 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 239419 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= 4 involuntary context switches= 7492 runsolver used 2.45263 second user time and 6.04008 second system time The end
Begin job on node084 at 2010-06-15 11:57:44 IDJOB=2656270 IDBENCH=2882 IDSOLVER=1161 FILE ID=node084/2656270-1276595864 PBS_JOBID= 11173550 Free space on /tmp= 62512 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m100_50_10_10.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2656270-1276595864/watcher-2656270-1276595864 -o /tmp/evaluation-result-2656270-1276595864/solver-2656270-1276595864 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2656270-1276595864.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 41d5abe94732aa440d44e4bcd1eb4f30 RANDOM SEED=262060314 node084.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.229 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.45 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.229 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 : 5999.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1845244 kB Buffers: 3216 kB Cached: 87964 kB SwapCached: 0 kB Active: 56952 kB Inactive: 93984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1845244 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 2640 kB Writeback: 20 kB AnonPages: 59876 kB Mapped: 15468 kB Slab: 41212 kB PageTables: 3988 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180604 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= 62508 MiB End job on node084 at 2010-06-15 12:23:07