Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (TO) | 1800.08 | 1800.55 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_1000_25_5.opb |
MD5SUM | d79bd0f7d6fceec4ec599aa8716e2601 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 85 |
Best CPU time to get the best result obtained on this benchmark | 1798.08 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 74 |
Optimality of the best value was proved | NO |
Number of variables | 1000 |
Total number of constraints | 1000 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 1000 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 51 |
Number of terms in the objective function | 1000 |
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 | 1000 |
Number of bits of the sum of numbers in the objective function | 10 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1000 |
Number of bits of the biggest sum of numbers | 10 |
Number of products (including duplicates) | 31590 |
Sum of products size (including duplicates) | 63180 |
Number of different products | 31590 |
Sum of products size | 63180 |
0.00/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2702397-1278566305.opb. 0.00/0.00 c Instance file HOME/instance-2702397-1278566305.opb 0.00/0.00 c File size is 2475714 bytes. 0.39/0.44 c Highest Coefficient sum: 52 0.39/0.44 c ============================[ Problem Statistics ]============================= 0.39/0.44 c | | 0.39/0.44 c | Parsing time: 0.43 s | 0.39/0.44 c | Number Variables: 32590 | 0.39/0.44 c | Number Clauses: 32590 | 0.39/0.44 c | Number Cardinality: 0 | 0.39/0.44 c | Number PB Constraints: 31590 | 0.39/0.49 c ============================[ Search Statistics ]============================== 0.39/0.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.39/0.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.39/0.49 c =============================================================================== 0.39/0.49 c | 0 | 32590 64180 222130 | 21393 0 nan | 0.000 % | 0.49/0.54 c =============================================================================== 0.49/0.54 c New solution: 507 0.49/0.54 o 507 0.49/0.54 c Elapsed CPU time: 0.52592 s Remaining CPU time: 179.474 s 0.49/0.54 c =============================================================================== 0.49/0.54 c | 0 | 32590 64181 223130 | 21393 0 nan | 0.000 % | 0.59/0.60 c =============================================================================== 0.59/0.60 c New solution: 180 0.59/0.60 o 180 0.59/0.60 c Elapsed CPU time: 0.581911 s Remaining CPU time: 179.418 s 0.59/0.60 c =============================================================================== 0.59/0.60 c | 0 | 32590 64182 224130 | 21394 0 nan | 0.000 % | 1.49/1.59 c | 100 | 32590 64182 224130 | 23533 100 206 | 0.000 % | 1.59/1.65 c =============================================================================== 1.59/1.65 c New solution: 145 1.59/1.65 o 145 1.59/1.65 c Elapsed CPU time: 1.62375 s Remaining CPU time: 178.376 s 1.59/1.65 c =============================================================================== 1.59/1.65 c | 100 | 32590 64183 225130 | 21394 100 206 | 0.000 % | 2.39/2.40 c | 204 | 32590 64183 225130 | 23533 204 194 | 0.000 % | 2.59/2.64 c | 354 | 32590 64183 225130 | 25887 354 191 | 0.000 % | 2.69/2.70 c =============================================================================== 2.69/2.70 c New solution: 125 2.69/2.70 o 125 2.69/2.70 c Elapsed CPU time: 2.66959 s Remaining CPU time: 177.33 s 2.69/2.70 c =============================================================================== 2.69/2.70 c | 354 | 32590 64184 226130 | 21394 354 191 | 0.000 % | 2.69/2.76 c =============================================================================== 2.69/2.76 c New solution: 118 2.69/2.76 o 118 2.69/2.76 c Elapsed CPU time: 2.72559 s Remaining CPU time: 177.274 s 2.69/2.76 c =============================================================================== 2.69/2.76 c | 354 | 32590 64185 227130 | 21395 354 191 | 0.000 % | 2.89/2.92 c | 456 | 32590 64185 227130 | 23534 456 185 | 0.000 % | 2.89/2.98 c =============================================================================== 2.89/2.98 c New solution: 99 2.89/2.98 o 99 2.89/2.98 c Elapsed CPU time: 2.94455 s Remaining CPU time: 177.055 s 2.89/2.98 c =============================================================================== 2.89/2.98 c | 456 | 32590 64186 228130 | 21395 456 185 | 0.000 % | 2.99/3.04 c =============================================================================== 2.99/3.04 c New solution: 98 2.99/3.04 o 98 2.99/3.04 c Elapsed CPU time: 2.99854 s Remaining CPU time: 177.001 s 2.99/3.04 c =============================================================================== 2.99/3.04 c | 457 | 32590 64187 229130 | 21395 457 185 | 0.000 % | 2.99/3.09 c =============================================================================== 2.99/3.09 c New solution: 92 2.99/3.09 o 92 2.99/3.09 c Elapsed CPU time: 3.05654 s Remaining CPU time: 176.943 s 2.99/3.09 c =============================================================================== 2.99/3.09 c | 457 | 32590 64188 230130 | 21396 457 185 | 0.000 % | 3.09/3.15 c =============================================================================== 3.09/3.15 c New solution: 91 3.09/3.15 o 91 3.09/3.15 c Elapsed CPU time: 3.11253 s Remaining CPU time: 176.887 s 3.09/3.15 c =============================================================================== 3.09/3.15 c | 457 | 32590 64189 231130 | 21396 457 185 | 0.000 % | 3.20/3.23 c | 557 | 32590 64189 231130 | 23535 557 189 | 0.000 % | 3.30/3.35 c | 708 | 32590 64189 231130 | 25889 708 195 | 0.000 % | 3.49/3.53 c =============================================================================== 3.49/3.53 c New solution: 90 3.49/3.53 o 90 3.49/3.53 c Elapsed CPU time: 3.48847 s Remaining CPU time: 176.512 s 3.49/3.53 c =============================================================================== 3.49/3.53 c | 927 | 32590 64190 232130 | 21396 927 190 | 0.000 % | 3.59/3.62 c | 1028 | 32590 64190 232130 | 23536 1028 193 | 0.000 % | 3.69/3.73 c | 1178 | 32590 64190 232130 | 25889 1178 196 | 0.000 % | 3.79/3.89 c | 1403 | 32590 64190 232130 | 28478 1403 199 | 0.000 % | 3.99/4.10 c | 1741 | 32590 64190 232130 | 31326 1741 210 | 0.000 % | 4.30/4.37 c | 2247 | 32590 64190 232130 | 34459 2247 208 | 0.000 % | 4.79/4.84 c | 3006 | 32590 64190 232130 | 37905 3006 205 | 0.000 % | 5.40/5.43 c | 4145 | 32590 64190 232130 | 41696 4145 196 | 0.000 % | 6.49/6.54 c | 5854 | 32590 64190 232130 | 45865 5854 199 | 0.000 % | 7.98/8.04 c | 8416 | 32590 64190 232130 | 50452 8416 197 | 0.000 % | 10.39/10.44 c | 12260 | 32590 64190 232130 | 55497 12260 194 | 0.000 % | 14.30/14.35 c | 18026 | 32590 64190 232130 | 61047 18026 205 | 0.000 % | 19.99/20.04 c | 26676 | 32590 64190 232130 | 67151 26676 223 | 0.000 % | 29.69/29.73 c | 39650 | 32590 64190 232130 | 73867 39650 221 | 0.000 % | 48.48/48.56 c | 59112 | 32590 64190 232130 | 81253 59112 238 | 0.000 % | 56.78/56.80 c =============================================================================== 56.78/56.80 c New solution: 89 56.78/56.80 o 89 56.78/56.80 c Elapsed CPU time: 56.3114 s Remaining CPU time: 123.689 s 56.78/56.80 c =============================================================================== 56.78/56.80 c | 71568 | 32590 64191 233130 | 21397 71568 231 | 0.000 % | 57.08/57.20 c | 71669 | 32590 64191 233130 | 23536 12070 197 | 0.000 % | 57.28/57.33 c | 71820 | 32590 64191 233130 | 25890 12221 197 | 0.000 % | 57.47/57.51 c | 72046 | 32590 64191 233130 | 28479 12447 197 | 0.000 % | 57.67/57.76 c | 72383 | 32590 64191 233130 | 31327 12784 197 | 0.000 % | 57.97/58.08 c | 72889 | 32590 64191 233130 | 34460 13290 197 | 0.000 % | 58.57/58.61 c | 73648 | 32590 64191 233130 | 37906 14049 201 | 0.000 % | 59.28/59.39 c | 74787 | 32590 64191 233130 | 41696 15188 202 | 0.000 % | 60.48/60.50 c | 76495 | 32590 64191 233130 | 45866 16896 203 | 0.000 % | 61.88/61.99 c | 79057 | 32590 64191 233130 | 50453 19458 205 | 0.000 % | 64.07/64.11 c | 82901 | 32590 64191 233130 | 55498 23302 203 | 0.000 % | 67.87/67.97 c | 88668 | 32590 64191 233130 | 61048 29069 213 | 0.000 % | 74.07/74.14 c | 97318 | 32590 64191 233130 | 67152 37719 221 | 0.000 % | 82.27/82.30 c | 110293 | 32590 64191 233130 | 73868 50694 220 | 0.000 % | 98.07/98.11 c | 129754 | 32590 64191 233130 | 81255 70155 229 | 0.000 % | 129.26/129.36 c | 158947 | 32590 64191 233130 | 89380 99348 250 | 0.000 % | 169.05/169.16 c | 202736 | 32590 64191 233130 | 98318 56965 285 | 0.000 % | 181.34/181.45 c There are 0 assigned variables. 0 in cost function. 183.04/183.19 c core #1 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 1 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #2 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 2 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #3 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 3 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #4 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 4 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #5 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 5 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #6 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 6 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #7 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 7 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #8 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 52 Core Weight: 1 Total Weight: 8 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c core #9 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c Core size: 78 Core Weight: 1 Total Weight: 9 183.04/183.19 c 183.04/183.19 c 183.04/183.19 c ============================[ Search Statistics ]============================== 183.04/183.19 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.04/183.19 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.04/183.19 c =============================================================================== 183.04/183.19 c | 0 | 8409 65200 161846 | 21733 0 nan | 0.000 % | 183.14/183.20 c =============================================================================== 183.34/183.45 c core #10 183.34/183.45 c 183.34/183.45 c 183.34/183.45 c Core size: 112 Core Weight: 1 Total Weight: 10 183.34/183.45 c 183.34/183.45 c 183.34/183.45 c ============================[ Search Statistics ]============================== 183.34/183.45 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.34/183.45 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.34/183.45 c =============================================================================== 183.34/183.45 c | 0 | 10193 65201 167041 | 21733 0 nan | 0.000 % | 183.44/183.56 c =============================================================================== 183.74/183.81 c core #11 183.74/183.81 c 183.74/183.81 c 183.74/183.81 c Core size: 680 Core Weight: 1 Total Weight: 11 183.74/183.81 c 183.74/183.81 c 183.74/183.81 c ============================[ Search Statistics ]============================== 183.74/183.81 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.74/183.81 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.74/183.81 c =============================================================================== 183.74/183.81 c | 0 | 19552 65202 195239 | 21734 0 nan | 0.000 % | 184.14/184.23 c | 105 | 19552 65202 195239 | 23907 105 338 | 41.149 % | 184.84/184.90 c | 258 | 19552 65202 195239 | 26298 258 416 | 41.149 % | 186.05/186.13 c | 483 | 19552 65202 195239 | 28927 483 408 | 41.149 % | 188.14/188.22 c | 823 | 19552 65202 195239 | 31820 823 399 | 41.149 % | 191.45/191.52 c | 1329 | 19552 65202 195239 | 35002 1329 402 | 41.149 % | 196.94/197.09 c | 2088 | 19552 65202 195239 | 38503 2088 511 | 41.149 % | 198.24/198.33 c =============================================================================== 198.54/198.62 c core #12 198.54/198.62 c 198.54/198.62 c 198.54/198.62 c Core size: 2104 Core Weight: 1 Total Weight: 12 198.54/198.62 c 198.54/198.62 c 198.54/198.62 c ============================[ Search Statistics ]============================== 198.54/198.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 198.54/198.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 198.54/198.62 c =============================================================================== 198.54/198.62 c | 0 | 32996 65203 233870 | 21734 0 nan | 0.000 % | 198.94/199.05 c | 100 | 32996 65203 233870 | 23907 100 386 | 3.368 % | 199.84/199.96 c | 250 | 32996 65203 233870 | 26298 250 479 | 3.368 % | 202.04/202.16 c | 475 | 32996 65203 233870 | 28928 475 505 | 3.368 % | 206.34/206.49 c | 812 | 32996 65203 233870 | 31821 812 450 | 3.368 % | 211.83/211.96 c | 1318 | 32996 65203 233870 | 35003 1318 466 | 3.368 % | 222.04/222.10 c | 2077 | 32996 65203 233870 | 38503 2077 373 | 3.368 % | 230.54/230.61 c | 3218 | 32996 65203 233870 | 42354 3218 340 | 3.368 % | 247.23/247.37 c | 4926 | 32996 65203 233870 | 46589 4926 281 | 3.368 % | 270.22/270.39 c | 7489 | 32996 65203 233870 | 51248 7489 263 | 3.368 % | 320.02/320.18 c | 11333 | 32996 65203 233870 | 56373 11333 265 | 3.368 % | 376.70/376.84 c | 17099 | 32996 65203 233870 | 62010 17099 289 | 3.368 % | 456.07/456.20 c | 25749 | 32996 65203 233870 | 68211 25749 336 | 3.368 % | 633.73/633.91 c | 38724 | 32996 65203 233870 | 75032 38724 340 | 3.368 % | 852.97/853.20 c | 58185 | 32996 65203 233870 | 82536 58185 336 | 3.368 % | 1250.76/1251.15 c | 87378 | 32996 65203 233870 | 90789 15621 320 | 3.368 % | 1731.55/1732.00 c | 131170 | 32996 65203 233870 | 99868 59413 372 | 3.368 % |
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-2702397-1278566305/watcher-2702397-1278566305 -o /tmp/evaluation-result-2702397-1278566305/solver-2702397-1278566305 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702397-1278566305.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.97 0.91 3/106 590 /proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=5132 CPUtime=0 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 299 0 0 0 0 0 0 0 18 0 1 0 24844382 5255168 217 1992294400 134512640 135752675 4292569456 18446744073709551615 135229087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 1283 228 132 303 0 373 0 [startup+0.0520891 s] /proc/loadavg: 0.99 0.97 0.91 3/106 590 /proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=8932 CPUtime=0.04 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 1224 0 0 0 4 0 0 0 20 0 1 0 24844382 9146368 1142 1992294400 134512640 135752675 4292569456 18446744073709551615 134574009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 2233 1142 190 303 0 1323 0 Current children cumulated CPU time (s) 0.04 Current children cumulated vsize (KiB) 8932 [startup+0.101092 s] /proc/loadavg: 0.99 0.97 0.91 3/106 590 /proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=11096 CPUtime=0.09 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 1669 0 0 0 9 0 0 0 20 0 1 0 24844382 11362304 1587 1992294400 134512640 135752675 4292569456 18446744073709551615 135194333 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 2774 1587 256 303 0 1864 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11096 [startup+0.301113 s] /proc/loadavg: 0.99 0.97 0.91 3/106 590 /proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=14324 CPUtime=0.29 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 2755 0 0 0 28 1 0 0 20 0 1 0 24844382 14667776 2673 1992294400 134512640 135752675 4292569456 18446744073709551615 134574276 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 3581 2673 529 303 0 2671 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 14324 [startup+0.701154 s] /proc/loadavg: 0.99 0.97 0.91 3/106 590 /proc/meminfo: memFree=1711912/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=17368 CPUtime=0.69 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4939 0 0 0 67 2 0 0 21 0 1 0 24844382 17784832 3643 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 4342 3643 144 303 0 4037 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17368 [startup+1.50124 s] /proc/loadavg: 0.99 0.97 0.91 2/107 591 /proc/meminfo: memFree=1697644/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=17368 CPUtime=1.49 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4939 0 0 0 147 2 0 0 22 0 1 0 24844382 17784832 3643 1992294400 134512640 135752675 4292569456 18446744073709551615 134518941 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 4342 3643 144 303 0 4037 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 17368 [startup+3.1014 s] /proc/loadavg: 0.99 0.97 0.91 2/107 591 /proc/meminfo: memFree=1697396/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=17368 CPUtime=3.09 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 4940 0 0 0 305 4 0 0 25 0 1 0 24844382 17784832 3644 1992294400 134512640 135752675 4292569456 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 4342 3644 145 303 0 4037 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17368 [startup+6.30073 s] /proc/loadavg: 0.99 0.97 0.91 2/107 591 /proc/meminfo: memFree=1695288/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=21328 CPUtime=6.29 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 5903 0 0 0 622 7 0 0 25 0 1 0 24844382 21839872 4607 1992294400 134512640 135752675 4292569456 18446744073709551615 134605428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 5332 4607 145 303 0 5027 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 21328 [startup+12.7014 s] /proc/loadavg: 0.99 0.97 0.91 3/108 594 /proc/meminfo: memFree=1658692/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=30568 CPUtime=12.68 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 8217 0 0 0 1255 13 0 0 25 0 1 0 24844382 31301632 6921 1992294400 134512640 135752675 4292569456 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 7642 6921 145 303 0 7337 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 30568 [startup+25.5007 s] /proc/loadavg: 0.99 0.97 0.91 2/107 595 /proc/meminfo: memFree=1664412/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=50768 CPUtime=25.49 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 13268 0 0 0 2525 24 0 0 25 0 1 0 24844382 51986432 11972 1992294400 134512640 135752675 4292569456 18446744073709551615 134639489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 12692 11972 145 303 0 12387 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 50768 [startup+51.1013 s] /proc/loadavg: 0.99 0.97 0.91 2/107 595 /proc/meminfo: memFree=1632792/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=83044 CPUtime=51.08 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 21302 0 0 0 5064 44 0 0 25 0 1 0 24844382 85037056 20006 1992294400 134512640 135752675 4292569456 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 20761 20006 145 303 0 20456 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 83044 [startup+102.309 s] /proc/loadavg: 0.99 0.97 0.91 2/107 597 /proc/meminfo: memFree=1558640/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=156340 CPUtime=102.27 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 39641 0 0 0 10142 85 0 0 25 0 1 0 24844382 160092160 38345 1992294400 134512640 135752675 4292569456 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 39085 38345 145 303 0 38780 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 156340 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 598 /proc/meminfo: memFree=1482752/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=233420 CPUtime=162.24 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 58863 0 0 0 16098 126 0 0 25 0 1 0 24844382 239022080 57567 1992294400 134512640 135752675 4292569456 18446744073709551615 134616067 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 58355 57567 145 303 0 58050 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 233420 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 600 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=222.23 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66202 0 0 0 22078 145 0 0 25 0 1 0 24844382 261234688 63309 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63309 146 303 0 63473 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 255112 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 602 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=282.22 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66205 0 0 0 28072 150 0 0 25 0 1 0 24844382 261234688 63312 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63312 146 303 0 63473 0 Current children cumulated CPU time (s) 282.22 Current children cumulated vsize (KiB) 255112 [startup+342.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 603 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=342.2 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66207 0 0 0 34064 156 0 0 25 0 1 0 24844382 261234688 63314 1992294400 134512640 135752675 4292569456 18446744073709551615 134605505 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63314 146 303 0 63473 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 255112 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 605 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=402.19 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66209 0 0 0 40057 162 0 0 25 0 1 0 24844382 261234688 63316 1992294400 134512640 135752675 4292569456 18446744073709551615 134616082 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63316 146 303 0 63473 0 Current children cumulated CPU time (s) 402.19 Current children cumulated vsize (KiB) 255112 [startup+462.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 606 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=462.17 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66212 0 0 0 46050 167 0 0 25 0 1 0 24844382 261234688 63319 1992294400 134512640 135752675 4292569456 18446744073709551615 134605224 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63319 146 303 0 63473 0 Current children cumulated CPU time (s) 462.17 Current children cumulated vsize (KiB) 255112 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 608 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=522.15 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66212 0 0 0 52043 172 0 0 25 0 1 0 24844382 261234688 63319 1992294400 134512640 135752675 4292569456 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63319 146 303 0 63473 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 255112 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 610 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=582.14 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66219 0 0 0 58038 176 0 0 25 0 1 0 24844382 261234688 63326 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63326 146 303 0 63473 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 255112 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 611 /proc/meminfo: memFree=1457828/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=255112 CPUtime=642.13 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 66220 0 0 0 64033 180 0 0 25 0 1 0 24844382 261234688 63327 1992294400 134512640 135752675 4292569456 18446744073709551615 134638053 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 63778 63327 146 303 0 63473 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 255112 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 618 /proc/meminfo: memFree=1445924/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=267160 CPUtime=882.07 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 69243 0 0 0 88004 203 0 0 25 0 1 0 24844382 273571840 66350 1992294400 134512640 135752675 4292569456 18446744073709551615 134616143 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 66790 66350 146 303 0 66485 0 Current children cumulated CPU time (s) 882.07 Current children cumulated vsize (KiB) 267160 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.91 2/107 619 /proc/meminfo: memFree=1439972/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=273500 CPUtime=942.05 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 70777 0 0 0 93997 208 0 0 25 0 1 0 24844382 280064000 67884 1992294400 134512640 135752675 4292569456 18446744073709551615 134518474 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 68375 67884 146 303 0 68070 0 Current children cumulated CPU time (s) 942.05 Current children cumulated vsize (KiB) 273500 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 621 /proc/meminfo: memFree=1433028/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=280240 CPUtime=1002.03 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 72464 0 0 0 99989 214 0 0 25 0 1 0 24844382 286965760 69571 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 70060 69571 146 303 0 69755 0 Current children cumulated CPU time (s) 1002.03 Current children cumulated vsize (KiB) 280240 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 622 /proc/meminfo: memFree=1427076/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=286344 CPUtime=1062.02 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 73980 0 0 0 105982 220 0 0 25 0 1 0 24844382 293216256 71087 1992294400 134512640 135752675 4292569456 18446744073709551615 134605363 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 71586 71087 146 303 0 71281 0 Current children cumulated CPU time (s) 1062.02 Current children cumulated vsize (KiB) 286344 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 624 /proc/meminfo: memFree=1419264/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=294056 CPUtime=1122 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 75904 0 0 0 111973 227 0 0 25 0 1 0 24844382 301113344 73011 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 73514 73011 146 303 0 73209 0 Current children cumulated CPU time (s) 1122 Current children cumulated vsize (KiB) 294056 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 626 /proc/meminfo: memFree=1410832/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=302428 CPUtime=1181.98 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 78004 0 0 0 117962 236 0 0 25 0 1 0 24844382 309686272 75111 1992294400 134512640 135752675 4292569456 18446744073709551615 134605489 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 75607 75111 146 303 0 75302 0 Current children cumulated CPU time (s) 1181.98 Current children cumulated vsize (KiB) 302428 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 627 /proc/meminfo: memFree=1404012/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=309296 CPUtime=1241.97 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 79723 0 0 0 123953 244 0 0 25 0 1 0 24844382 316719104 76830 1992294400 134512640 135752675 4292569456 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 77324 76830 146 303 0 77019 0 Current children cumulated CPU time (s) 1241.97 Current children cumulated vsize (KiB) 309296 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 629 /proc/meminfo: memFree=1390744/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=322124 CPUtime=1301.96 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 82949 0 0 0 129940 256 0 0 25 0 1 0 24844382 329854976 80056 1992294400 134512640 135752675 4292569456 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 80531 80056 146 303 0 80226 0 Current children cumulated CPU time (s) 1301.96 Current children cumulated vsize (KiB) 322124 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 630 /proc/meminfo: memFree=1380452/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=332572 CPUtime=1361.94 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 85545 0 0 0 135929 265 0 0 25 0 1 0 24844382 340553728 82652 1992294400 134512640 135752675 4292569456 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 83143 82652 146 303 0 82838 0 Current children cumulated CPU time (s) 1361.94 Current children cumulated vsize (KiB) 332572 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.91 2/107 632 /proc/meminfo: memFree=1368052/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=344748 CPUtime=1421.93 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 88600 0 0 0 141916 277 0 0 25 0 1 0 24844382 353021952 85707 1992294400 134512640 135752675 4292569456 18446744073709551615 134518831 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 86187 85707 146 303 0 85882 0 Current children cumulated CPU time (s) 1421.93 Current children cumulated vsize (KiB) 344748 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 634 /proc/meminfo: memFree=1353792/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=359052 CPUtime=1481.91 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 92149 0 0 0 147903 288 0 0 25 0 1 0 24844382 367669248 89256 1992294400 134512640 135752675 4292569456 18446744073709551615 134518928 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 89763 89256 146 303 0 89458 0 Current children cumulated CPU time (s) 1481.91 Current children cumulated vsize (KiB) 359052 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 635 /proc/meminfo: memFree=1343996/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=368876 CPUtime=1541.9 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 94600 0 0 0 153895 295 0 0 25 0 1 0 24844382 377729024 91707 1992294400 134512640 135752675 4292569456 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 92219 91707 146 303 0 91914 0 Current children cumulated CPU time (s) 1541.9 Current children cumulated vsize (KiB) 368876 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 637 /proc/meminfo: memFree=1336432/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=376552 CPUtime=1601.88 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 96544 0 0 0 159886 302 0 0 25 0 1 0 24844382 385589248 93651 1992294400 134512640 135752675 4292569456 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 94138 93651 146 303 0 93833 0 Current children cumulated CPU time (s) 1601.88 Current children cumulated vsize (KiB) 376552 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 638 /proc/meminfo: memFree=1328372/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=384456 CPUtime=1661.87 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 98483 0 0 0 165879 308 0 0 25 0 1 0 24844382 393682944 95590 1992294400 134512640 135752675 4292569456 18446744073709551615 134605500 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 96114 95590 146 303 0 95809 0 Current children cumulated CPU time (s) 1661.87 Current children cumulated vsize (KiB) 384456 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 640 /proc/meminfo: memFree=1321800/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=390940 CPUtime=1721.84 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 100101 0 0 0 171870 314 0 0 25 0 1 0 24844382 400322560 97208 1992294400 134512640 135752675 4292569456 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 97735 97208 146 303 0 97430 0 Current children cumulated CPU time (s) 1721.84 Current children cumulated vsize (KiB) 390940 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.91 2/107 642 /proc/meminfo: memFree=1315352/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=397284 CPUtime=1781.83 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 101698 0 0 0 177862 321 0 0 25 0 1 0 24844382 406818816 98805 1992294400 134512640 135752675 4292569456 18446744073709551615 134518799 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 99321 98805 146 303 0 99016 0 Current children cumulated CPU time (s) 1781.83 Current children cumulated vsize (KiB) 397284 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.5 s] /proc/loadavg: 0.99 0.97 0.91 2/107 642 /proc/meminfo: memFree=1311880/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=400852 CPUtime=1800.02 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 102576 0 0 0 179677 325 0 0 25 0 1 0 24844382 410472448 99683 1992294400 134512640 135752675 4292569456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 100213 99683 146 303 0 99908 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 400852 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: 0.99 0.97 0.91 2/107 642 /proc/meminfo: memFree=1311880/2059040 swapFree=4134944/4192956 [pid=590] ppid=588 vsize=400852 CPUtime=1800.02 /proc/590/stat : 590 (wbo1.4b) R 588 590 31414 0 -1 4202496 102576 0 0 0 179677 325 0 0 25 0 1 0 24844382 410472448 99683 1992294400 134512640 135752675 4292569456 18446744073709551615 134519009 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/590/statm: 100213 99683 146 303 0 99908 0 Current children cumulated CPU time (s) 1800.02 Current children cumulated vsize (KiB) 400852 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.55 CPU time (s): 1800.08 CPU user time (s): 1796.78 CPU system time (s): 3.2975 CPU usage (%): 99.9742 Max. virtual memory (cumulated for all children) (KiB): 400852 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.78 system time used= 3.2975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 102576 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 7 involuntary context switches= 1632 runsolver used 2.85157 second user time and 8.63569 second system time The end
Begin job on node002 at 2010-07-08 07:18:25 IDJOB=2702397 IDBENCH=48133 IDSOLVER=1190 FILE ID=node002/2702397-1278566305 PBS_JOBID= 11239536 Free space on /tmp= 62568 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_1000_25_5.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-2702397-1278566305/watcher-2702397-1278566305 -o /tmp/evaluation-result-2702397-1278566305/solver-2702397-1278566305 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702397-1278566305.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= d79bd0f7d6fceec4ec599aa8716e2601 RANDOM SEED=67623982 node002.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.40 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.201 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1715044 kB Buffers: 89792 kB Cached: 169744 kB SwapCached: 12900 kB Active: 154400 kB Inactive: 120356 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1715044 kB SwapTotal: 4192956 kB SwapFree: 4134944 kB Dirty: 3116 kB Writeback: 0 kB AnonPages: 12052 kB Mapped: 8420 kB Slab: 47396 kB PageTables: 4204 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180508 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-2702397-1278566305.opb Free space on /tmp at the end= 62560 MiB End job on node002 at 2010-07-08 07:48:29